Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness
/
generics
/
InferredPrimitive.java
blob: fbe61401729179fb7b854467438ba75cdb2940b1 [
file
] [
log
] [
blame
]
/** Test case for Issue 143: https://github.com/typetools/checker-framework/issues/143 */
public
class
InferredPrimitive
{
public
static
void
main
(
String
[]
args
)
{
java
.
util
.
Set
<
Long
>
s
=
java
.
util
.
Collections
.
singleton
(
123L
);
}
}