// 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]