Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
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
);
}