mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

reflow comment, not a FIXME i think

Browse Source
This commit is contained in:
Michael Goulet 2023-06-30 18:20:45 +00:00
parent 8aed93d912
commit 0d2fede817
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
compiler/rustc_metadata/src/rmeta/encoder.rs
View File

@ -1151,10 +1151,10 @@ fn should_encode_type(tcx: TyCtxt<'_>, def_id: LocalDefId, def_kind: DefKind) ->
let assoc_item = tcx.associated_item(def_id); let assoc_item = tcx.associated_item(def_id);
match assoc_item.container { match assoc_item.container {
ty::AssocItemContainer::ImplContainer => true, ty::AssocItemContainer::ImplContainer => true,
// FIXME(-Zlower-impl-trait-in-trait-to-assoc-ty) always encode RPITITs, // Always encode RPITITs, since we need to be able to project
// since we need to be able to "project" from an RPITIT associated item // from an RPITIT associated item to an opaque when installing
// to an opaque when installing the default projection predicates in // the default projection predicates in default trait methods
// default trait methods with RPITITs. // with RPITITs.
ty::AssocItemContainer::TraitContainer => { ty::AssocItemContainer::TraitContainer => {
assoc_item.defaultness(tcx).has_value() || assoc_item.opt_rpitit_info.is_some() assoc_item.defaultness(tcx).has_value() || assoc_item.opt_rpitit_info.is_some()
} }