{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"Err(BadReturnType)"}]}
            Err(BadReturnType) => false,
            Err(IllegalSizedBound { .. }) => true,
            Err(ErrorReported(_)) => false,