{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"ty.error_reported()?;"}]}
        ty.error_reported()?;
        // Abort on type error.
        // This determines the set of all possible constructors for the type `ty`. For numbers,