{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"//"}]}
            // many viable options, so pick the most restrictive.
            // like `F : Fn<A>`. Note that due to subtyping we could encounter
            let trait_def_id = match bound_predicate.skip_binder() {