Function rustc_typeck::middle::traits::type_known_to_meet_builtin_boundUnstable [-] [+] [src]

pub fn type_known_to_meet_builtin_bound(infcx: &InferCtxt<'a, 'tcx>, typer: &ClosureTyper<'tcx>, ty: &'tcx TyS<'tcx>, bound: BuiltinBound, span: Span) -> bool