module M {
    fun foo() {
        let x = t<u64;
    }
}