{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"//"}]}
        // to the `var_values`.
        // Constraints for any existing opaque types are already tracked by changes
        let opaque_types = self