@NotNull
abstract List<MethodContract> toContracts(@NotNull PsiMethod method);
}
class KnownContract extends PreContract {
private final MethodContract myKnownContract;
<BUG>public KnownContract(MethodContract knownContract) {

myKnownContract = knownContract;
}</BUG>
@NotNull

@NotNull
abstract List<MethodContract> toContracts(@NotNull PsiMethod method);
}
class KnownContract extends PreContract {
private final MethodContract myKnownContract;
KnownContract(@NotNull MethodContract knownContract) {
myKnownContract = knownContract;
}
@NotNull
MethodContract getContract() {
return myKnownContract;
}
@NotNull
