tests/ui/const-generics/generic_const_exprs/cross_crate_predicate.rs

   1 // aux-build:const_evaluatable_lib.rs
   2 #![feature(generic_const_exprs)]
   3 #![allow(incomplete_features)]
   4 extern crate const_evaluatable_lib;
   5
   6 fn user<T>() {
   7     let _ = const_evaluatable_lib::test1::<T>();
   8     //~^ ERROR unconstrained generic constant
   9     //~| ERROR unconstrained generic constant
  10     //~| ERROR unconstrained generic constant
  11     //~| ERROR unconstrained generic constant
  12 }
  13
  14 fn main() {}