about summary refs log tree commit diff
path: root/tests/ui/generic-const-items/def-site-predicates-wf.rs
blob: 39cdcc304f3e930b1f0da5e17a4c0169440610e9 (plain)
1
2
3
4
5
6
7
8
9
//! Ensure that we check the predicates for well-formedness at the definition site.
#![feature(generic_const_items)]
#![expect(incomplete_features)]

const _: () = ()
where
    Vec<str>: Sized; //~ ERROR the size for values of type `str` cannot be known at compilation time

fn main() {}