blob: 102c7b1e5f9388ecec778aae6ce57d52bd4088f7 (
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: () = () //~ ERROR entering unreachable code
where
String: Copy;
fn main() {
let _ = UNUSABLE; //~ ERROR the trait bound `String: Copy` is not satisfied
}
|
