{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
        // Subtyping doesn't matter here, as the value is some kind of scalar.
        // Unify each side with `expected`.
        let demand_eqtype = |x: &mut _, y| {