but I feel like I'm going to need some support fro...

# language-proposals

[groostav]

but I feel like I'm going to need some support from code generation for this to work, because I really dont know what happens if I actually start passing around instances of the interface `Nothing`: Does that interface exist at runtime? What does a V-table lookup against it look like?