1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
// Test case for Issue 335:
// https://github.com/typetools/checker-framework/issues/335
import org.checkerframework.checker.nullness.qual.Nullable;
class Pair<A, B> {
static <C, D> Pair<C, D> of(@Nullable C first, @Nullable D second) {
throw new RuntimeException();
}
}
class Optional<S> {
static <T> Optional<T> of(T reference) {
throw new RuntimeException();
}
}
class Issue335 {
Optional<Pair<String, String>> m(String one, String two) {
return Optional.of(Pair.of(one, two));
}
}
|
