Function rustc::metadata::tyencode::enc_predicateExperimental [-]  [+] [src]

pub fn enc_predicate<'a, 'tcx>(w: &mut SeekableMemWriter, cx: &ctxt<'a, 'tcx>, p: &Predicate<'tcx>)