validate that default type arg does not refer to type parameters