Shouldn't this be an error instead? They provided a default value that doesn't match the type.