mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
1be847e0c0
This was one of the few places left in the type system where a `model::Type` referred to another one not using QualifiedType, but a naked `TupleTreeReference`. Switching it to be a `model::QualifiedType` makes cross-references between `model::Type`s more homogenenous, requiring less corner-cases to handle for whoever manipulates types.