For const generics, we will eventually allow arbitrary structural_match values as generic arguments. Thus, we need to figure out how to mangle them. At the moment, only unsigned integers are supported.

min_const_generics

• Unsigned integers
• bool (Permit ty::Bool in const generics for v0 mangling #77452)
• Signed integers
• char

adt_const_params

• Tuples and arrays
• Complex data types

cc @eddyb @yodaldevoid