{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"//"}]}
    //
    // which is sound because we forbid impls like the following
    // impl<D: Debug> AlwaysApplicable for D { }