# Testing variable typing

@expect_diagnostic 2010
let a: Int = "foo"