{"ast_node_type":"import","tokens":[{"end":90,"kind":"keyword","start":0,"text":"//"}]}
                        // It's possible to use well-formedness clauses to get obligations
                    _ => {
                        // which point arbitrary items like ADTs, so there's no use in ICEing