{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"//"}]}
        // We always require that the type provided as the value for
        // a type parameter outlives the moment of instantiation.