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