{"ast_node_type":"import","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
    // could instead use identity args for the adt. Unfortunately this would cause any errors to
    // Note: Ideally instead of instantiating the `ParamEnv` with the arguments from the impl ty we
    // reference the params from the ADT instead of from the impl which is bad UX. To resolve