Module-local function not specialized with ConstraintKinds
|Reported by:||akio||Owned by:|
|Type of failure:||Runtime performance bug||Difficulty:||Unknown|
|Test Case:||simplCore/should_compile/T7785||Blocked By:|
In the attached program, 'shared' is not exported and only used with f = , but it doesn't get specialized in the core. On the other hand, shared', which does not involve ConstraintKinds, gets correctly specialized.