{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// with a rigid alias. Using this is pretty much always wrong.
    /// Unlike `instantiate_normalizes_to_term` this instantiates the expected term
    pub fn structurally_instantiate_normalizes_to_term(