Skip to content

-Znext-solver allow ExprKind::Call for not-yet defined opaques#145993

Merged
bors merged 2 commits intorust-lang:masterfrom
lcnr:allow-calling-opaques
Sep 18, 2025
Merged

`-Znext-solver` allow `ExprKind::Call` for not-yet defined opaques#145993
bors merged 2 commits intorust-lang:masterfrom
lcnr:allow-calling-opaques

Commits

Commits on Sep 18, 2025