{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
                // If that the case we bail out, as was asked by T-lang, even though this isn't
                //
                // correct from a type-system point of view, as inference exists and one-impl-rule