[v1.1] Make '_' refer to type var in discipline func within type

[v1.1] Make '_' refer to type var in discipline func within type #2126