Conditionally further constrain a generic parameter: if <T: Constrained> { ... }

[jrose (Jordan Rose)]

Overridable methods in extensions is also a reasonable language feature, but I'd keep it separate from this.