1 // aux-build:generics_of_parent_impl_trait.rs
2 #![feature(generic_const_exprs)]
3 #![allow(incomplete_features)]
5 extern crate generics_of_parent_impl_trait;
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: