Open
Description
This is fine for now, but once this lands, I'd like to look into using seperate type for
Item::Constant
andTerm::Constant
/GenericArgKind::Constant
, so this can be flattened again. But this shoudn't block this PR.
Originally posted by @aDotInTheVoid in #125958 (comment)