mirror of https://github.com/rust-lang/rust
23 lines
743 B
Rust
23 lines
743 B
Rust
//@ revisions: full min
|
|
#![cfg_attr(full, feature(generic_const_exprs))]
|
|
#![cfg_attr(full, allow(incomplete_features))]
|
|
|
|
// tests the diagnostic output of type mismatches for types that have const generics arguments.
|
|
|
|
use std::marker::PhantomData;
|
|
|
|
struct A<'a, T, const X: u32, const Y: u32> {
|
|
data: PhantomData<&'a T>
|
|
}
|
|
|
|
fn a<'a, 'b>() {
|
|
let _: A<'a, u32, {2u32}, {3u32}> = A::<'a, u32, {2u32 + 2u32}, {3u32}> { data: PhantomData };
|
|
//~^ ERROR mismatched types
|
|
let _: A<'a, u16, {2u32}, {3u32}> = A::<'b, u32, {2u32}, {3u32}> { data: PhantomData };
|
|
//~^ ERROR mismatched types
|
|
let _: A<'a, u16, {4u32}, {3u32}> = A::<'b, u32, {2u32}, {3u32}> { data: PhantomData };
|
|
//~^ ERROR mismatched types
|
|
}
|
|
|
|
pub fn main() {}
|