{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"//"}]}
                //
                // tighter bound than `'static`.
                // (This might e.g. arise from being asked to prove `for<'a> { 'b: 'a }`.)