Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
jtreg
/
nullness
/
issue790
/
Class2.java
blob: a96bbe9a3255715b8e1779ff2ab087af2c50eee3 [
file
] [
log
] [
blame
]
public
class
Class2
extends
Class1
{}
