Skip to content

Commit 95686b6

Browse files
committed
[FIXME] squash with previous commit if this is correct.
1 parent 0d0b8bc commit 95686b6

File tree

2 files changed

+0
-10
lines changed

2 files changed

+0
-10
lines changed

compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -788,11 +788,6 @@ where
788788
candidates: &mut Vec<Candidate<I>>,
789789
) {
790790
let cx = self.cx();
791-
if cx.is_sizedness_trait(goal.predicate.trait_def_id(cx)) {
792-
// `dyn MetaSized` is valid, but should get its `MetaSized` impl from being `dyn`.
793-
tracing::info!("FIXME: try removing this");
794-
return;
795-
}
796791

797792
let self_ty = goal.predicate.self_ty();
798793
let bounds = match self_ty.kind() {

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

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -904,11 +904,6 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
904904
"assemble_candidates_from_object_ty",
905905
);
906906

907-
if self.tcx().is_sizedness_trait(obligation.predicate.def_id()) {
908-
tracing::info!("FIXME: try removing this");
909-
return;
910-
}
911-
912907
self.infcx.probe(|_snapshot| {
913908
let poly_trait_predicate = self.infcx.resolve_vars_if_possible(obligation.predicate);
914909
self.infcx.enter_forall(poly_trait_predicate, |placeholder_trait_predicate| {

0 commit comments

Comments
 (0)