mirror of https://github.com/rust-lang/rust
17 lines
402 B
Rust
17 lines
402 B
Rust
#![feature(pattern_types, rustc_attrs)]
|
|
#![feature(core_pattern_type)]
|
|
#![feature(core_pattern_types)]
|
|
#![allow(incomplete_features)]
|
|
|
|
//! check that pattern types can have local traits
|
|
//! implemented for them.
|
|
|
|
use std::pat::pattern_type;
|
|
|
|
type Y = pattern_type!(u32 is 1..);
|
|
|
|
impl Eq for Y {}
|
|
//~^ ERROR: only traits defined in the current crate can be implemented for arbitrary types
|
|
|
|
fn main() {}
|