Add a FIXME for something that requires touching too much code for this PR

This commit is contained in:
Oli Scherer 2024-03-14 16:28:14 +00:00
parent cd9453c637
commit cd5ca3c762

View File

@ -16,6 +16,7 @@
pub struct Canonical<I: Interner, V> {
pub value: V,
pub max_universe: UniverseIndex,
// FIXME(lcnr, oli-obk): try moving this into the query inputs instead
pub defining_opaque_types: I::DefiningOpaqueTypes,
pub variables: I::CanonicalVars,
}