[Work Item]: Figure out variance for generic_const_parameter_types

[BoxyUwU]

struct Foo<T, const N: T>(fn(T))

do we for example want this to mean invariance over T