remove outdated debug_assertion

This commit is contained in:
lcnr 2024-10-24 12:00:55 +02:00
parent f51ec110a7
commit ce22ccb552

View File

@ -190,9 +190,6 @@ where
} }
} }
// We want to make sure
debug_assert!(!matches!(ecx.typing_mode(), TypingMode::Coherence));
ecx.probe_and_evaluate_goal_for_constituent_tys( ecx.probe_and_evaluate_goal_for_constituent_tys(
CandidateSource::BuiltinImpl(BuiltinImplSource::Misc), CandidateSource::BuiltinImpl(BuiltinImplSource::Misc),
goal, goal,