tests/ui/const-generics/parent_generics_of_encoding_impl_trait.rs

   1 // aux-build:generics_of_parent_impl_trait.rs
   2 #![feature(generic_const_exprs)]
   3 #![allow(incomplete_features)]
   4
   5 extern crate generics_of_parent_impl_trait;
   6
   7 fn main() {
   8     // check for `impl Trait<{ const }>` which has a parent of a `DefKind::TyParam`
   9     generics_of_parent_impl_trait::foo([()]);
  10     //~^ error: type annotations needed
  11 }