{"ast_node_type":"variable","tokens":[{"end":88,"kind":"keyword","start":0,"text":"let"}]}
            let coerced_ty = expectation.only_has_type(self).unwrap_or(formal_input_ty);
            //    `ExpectHasType(expected_ty)`, or the `formal_ty` otherwise.