import "io" for File

File.exists(123) // expect runtime error: Path must be a string.