feature(negative_impls) tracking issue: #68318

I'm not sure if this is intended behavior or not.

I tried this code:

#![feature(negative_impls)]

struct Foo<T: Sized>(T);

trait MyTrait {}

impl !MyTrait for Foo<str> {} // Foo requires T: Sized, but str: !Sized

I expected to see this happen: error[E0277]: the size for values of type `str` cannot be known at compilation time

Instead, this happened: successful compilation (playground)

Meta

rustc --version --verbose:

rustc 1.95.0-nightly (a423f68a0 2026-02-13)
binary: rustc
commit-hash: a423f68a0d75656eabab4982a06bed9f316f7109
commit-date: 2026-02-13
host: x86_64-unknown-linux-gnu
release: 1.95.0-nightly
LLVM version: 22.1.0

no backtrace

@rustbot label F-negative_impls requires-nightly