{"ast_node_type":"import","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
                        // which point arbitrary items like ADTs, so there's no use in ICEing
                        // It's possible to use well-formedness clauses to get obligations
                        // here if we find that the obligation originates from some other