inlining: Use `tmeet` on inserted `PiNode` types for extended lattices#54105

Merged

topolarity merged 1 commit intoJuliaLang:masterfrom topolarity:ct/refine-pi

Apr 23, 2024

+8-5

Commits on Apr 22, 2024

inlining: Use tmeet for result of inserted PiNode
topolarity
committed