Closed gavinking closed 8 years ago
As noted by @sgalles in #1366, the typechecker currently accepts this:
interface Bar{ shared Integer foo() => nothing; } class Foo satisfies Bar{ shared new (){} shared new foo(){} }
But it blows up the backend, and anyway was never really intended.
Done.
As noted by @sgalles in #1366, the typechecker currently accepts this:
But it blows up the backend, and anyway was never really intended.