-
Richard Eisenberg authored
When renaming a type, now looks for wildcards in bound variables' kinds. testcase: dependent/should_compile/T11241
43468fe3
When renaming a type, now looks for wildcards in bound variables' kinds. testcase: dependent/should_compile/T11241