rust/tests/ui/coherence/coherence-negative-impls-copy.rs
2024-02-16 20:02:50 +00:00

30 lines
437 B
Rust

//@ check-pass
// regression test for issue #101836
#![feature(negative_impls, extern_types)]
#![crate_type = "lib"]
struct NonCopy;
struct NeverCopy(NonCopy);
impl !Copy for NeverCopy {}
struct WithDrop;
impl Drop for WithDrop { fn drop(&mut self) {} }
impl !Copy for WithDrop {}
struct Type;
trait Trait {}
extern {
type ExternType;
}
impl !Copy for &mut Type {}
impl !Copy for dyn Trait {}
impl !Copy for ExternType {}