Trait rustc::middle::ty::AsPredicateUnstable [-] [+] [src]

pub trait AsPredicate<'tcx> {
    fn as_predicate(&self) -> Predicate<'tcx>;
}

Required Methods

fn as_predicate(&self) -> Predicate<'tcx>

Implementors