{"ast_node_type":"variable","tokens":[{"end":97,"kind":"keyword","start":0,"text":"let"}]}
                let coercion_target = if let Some(ty) = expected.only_has_type(&mut self.table) {
                // then coerce to either the expected type or just the formal parameter type
                    // if we are coercing to the expectation, unify with the