{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"Err(OrphanCheckErr::UncoveredTyParams(UncoveredTyParams"}]}
                Err(OrphanCheckErr::UncoveredTyParams(UncoveredTyParams {
                };
                    uncovered: ty,