Assignment compatibility is too strict for type parameters
Check optional and rest parameter types when checking signature relation