{"ast_node_type":"variable","tokens":[{"end":91,"kind":"keyword","start":0,"text":"if"}]}
            if let ty::Alias(ty::Projection | ty::Free, ty::AliasTy { args, def_id, .. }) =
            // This means that they should shadow obligations with worse spans.
                ty.kind()