Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
docs
/
examples
/
lombok
/
src
/
main
/
java
/
use
/
User.java
blob: 64f218ddc32b0d30d61aa08d0a992cfce466d7cd [
file
] [
log
] [
blame
]
package
use
;
import
lib
.
Foo
;
public
class
User
{
Foo
demo
()
{
return
Foo
.
builder
()
.
x
(
null
)
// ok
.
y
(
null
)
// error
.
build
();
}
}