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

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