{"ast_node_type":"function","tokens":[{"end":28,"kind":"keyword","start":0,"text":"fn"}]}
    fn supertrait_hrtb_vars(
    /// the starting trait `Bar`, we would return `Some(['b, 'a])`.
        tcx: TyCtxt<'tcx>,