They are currently only forbidden if there is an `impl`, which is clearly silly behavior. Nominating for 1.0, P-backcompat-lang.