there's another case here, `Any`, that will throw an error for. I suspect this is also warning.