- let assumed_wf_types = tcx.assumed_wf_types(body_def_id);
- let mut implied_bounds = FxHashSet::default();
- let cause = ObligationCause::misc(span, body_id);
- for ty in assumed_wf_types {
- implied_bounds.insert(ty);
- let normalized = ocx.normalize(cause.clone(), param_env, ty);
- implied_bounds.insert(normalized);
- }
- let implied_bounds = implied_bounds;