Sema: Less eager computation of protocol extension signatures in associated type inference
We only need the generic signature if the extended nominal is
concrete. In the protocol extension case, we're using
getSelfBoundsFromWhereClause(), which only needs to perform
name lookup.