blob: dd00b327d2d20dbdb95c0143eddd9ffd201812f6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#![feature(generic_const_items, trivial_bounds)]
#![allow(incomplete_features)]
// Ensure that we check if trivial bounds on const items hold or not.
const UNUSABLE: () = ()
where
String: Copy;
fn main() {
let _ = UNUSABLE; //~ ERROR the trait bound `String: Copy` is not satisfied
}
|
