Function rustc::metadata::tyencode::enc_predicateExperimental
[-]
[+]
[src]
pub fn enc_predicate<'a, 'tcx>(w: &mut SeekableMemWriter, cx: &ctxt<'a, 'tcx>, p: &Predicate<'tcx>)