{"ast_node_type":"variable","tokens":[{"end":51,"kind":"keyword","start":0,"text":"let"}]}
        let ty = if !ty.has_escaping_bound_vars() {
        // FIXME: normalization and escaping regions
            // NOTE: These obligations are 100% redundant and are implied by