test with explicit existential type

This commit is contained in:
Niko Matsakis 2019-06-12 18:02:39 -04:00
parent b170c0f1c4
commit e9de08a5ea

View File

@ -3,6 +3,8 @@
// revisions: migrate mir
//[mir]compile-flags: -Z borrowck=mir
#![feature(existential_type)]
trait Trait<'a, 'b> { }
impl<T> Trait<'_, '_> for T { }