{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"///"}]}
    /// in a monomorphic context (i.e., like during codegen), then it is guaranteed to return
    /// Presuming that coherence and type-check have succeeded, if this method is invoked
    /// `Ok(Some(instance))`, **except** for when the instance's inputs hit the type size limit,