blob: 1ce504c432ba4ca97a803bd0a2d56a04835d7d00 [file]
//@ check-pass
#![feature(tuple_trait)]
use std::marker::Tuple;
trait Foo {}
impl<T> Foo for T where T: Tuple {}
impl Foo for i32 {} // works because `Tuple` is `#[fundamental]`
fn main() {}