| // want package:`features{typeDecl,funcDecl,typeSet,typeInstance,funcInstance}` | |
| // Features funcDecl, typeSet, and funcInstance come from imported packages "a" | |
| // and "b". These features are not directly present in "c". | |
| package c | |
| import ( | |
| "a" | |
| "b" | |
| ) | |
| type T[P b.Constraint] a.T[P] |