This prevents any `impl<T> Trait for T where ...` from being treated as a blanket impl while we don't handle where clauses yet.
This prevents any `impl<T> Trait for T where ...` from being treated as a blanket impl while we don't handle where clauses yet.