Skip to content

Commit 5fad8a6

Browse files
committed
Remove redundant dyn-compatibility check.
This check is already handled in `rustc_trait_selection::traits::fulfill::FulfillProcessor::process_obligation`.
1 parent 1676160 commit 5fad8a6

1 file changed

Lines changed: 4 additions & 6 deletions

File tree

  • compiler/rustc_trait_selection/src/traits/select

compiler/rustc_trait_selection/src/traits/select/mod.rs

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -771,12 +771,10 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
771771
Ok(EvaluatedToOkModuloRegions)
772772
}
773773

774-
ty::PredicateKind::DynCompatible(trait_def_id) => {
775-
if self.tcx().is_dyn_compatible(trait_def_id) {
776-
Ok(EvaluatedToOk)
777-
} else {
778-
Ok(EvaluatedToErr)
779-
}
774+
ty::PredicateKind::DynCompatible(_) => {
775+
bug!(
776+
"Obligation {obligation:?} should have been handled by fulfillment already."
777+
)
780778
}
781779

782780
ty::PredicateKind::Clause(ty::ClauseKind::Projection(data)) => {

0 commit comments

Comments
 (0)