Function rustc_trait_selection::traits::fully_solve_bound

pub fn fully_solve_bound<'a, 'tcx>(
    infcx: &InferCtxt<'a, 'tcx>,
    cause: ObligationCause<'tcx>,
    param_env: ParamEnv<'tcx>,
    ty: Ty<'tcx>,
    bound: DefId
) -> Vec<FulfillmentError<'tcx>>

Process a bound (and any nested obligations that come from it) to completion. This is a convenience function for traits that have no generic arguments, such as auto traits, and builtin traits like Copy or Sized.