Ignore empty list of type-arguments when narrowing type.