Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
jtreg
/
stubs
/
defaultqualinstub
/
pck
/
Defaults.java
blob: ff9be0203a4be495ed768b72c9b2103ea32f2acf [
file
] [
log
] [
blame
]
package
pck
;
public
class
Defaults
{
Object
o
;
void
test
()
{
// The astub file changes o to @Nullable
// and therefore the assignment is allowed.
o
=
null
;
}
}