{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"///"}]}
    /// characteristics (see `instantiate_canonical_var` for
    /// canonical, creates fresh variables with the same
    /// details). You can then use `instantiate` to instantiate the