{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"//"}]}
        // input. See the example above.
        // result, then we can type the corresponding value from the
        let mut opt_values: IndexVec<BoundVar, Option<GenericArg<'tcx>>> =