as an example, requiring that a type has a constru...

# language-proposals

[mikehearn]

as an example, requiring that a type has a constructor of a certain kind. or that it has a method which is not defined in an interface