Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
jtreg
/
issue469
/
advancedcrash
/
SomeInterface.java
blob: e83a4dc97477e415ded83bdc706b52834b70b665 [
file
] [
log
] [
blame
]
package
advancedcrash
;
public
interface
SomeInterface
extends
CrashyInterface
{
void
doSomethingFancy
();
}