The compiler just needs to verify that there's an ...

# language-proposals

[cedric]

The compiler just needs to verify that there's an extension type Addable<Int> and accept to compile, that's it