Skip to content

add tests, silence type annotations needed errors for opaques

9913c47
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

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

add tests, silence type annotations needed errors for opaques
9913c47
Select commit
Loading
Failed to load commit list.