Skip to content

TPE: Simplify <residual> && false to false when <residual> cannot error#2091

Open
luxas wants to merge 2 commits intocedar-policy:mainfrom
luxas:tpe_simplify_tpe_in_forall_set_elems
Open

TPE: Simplify <residual> && false to false when <residual> cannot error#2091
luxas wants to merge 2 commits intocedar-policy:mainfrom
luxas:tpe_simplify_tpe_in_forall_set_elems