Sign in
third-party-mirror
/
typetools
/
checker-framework
/
0992449ea2fcfa5691fb0b323a6c95ab2c98c1f4
/
.
/
checker
/
tests
/
nullness-extra
/
issue559
/
myjdk.astub
blob: 2bb670bbaa49cd29f45890c839d8e478184d9b7a [
file
] [
log
] [
blame
]
package
java
.
util
;
public
class
Optional
<
T
>
{
// In contrast to the annotated JDK, here
// we have no @Nullable on the parameter and return types.
public
T orElse
(
T other
);
}