Skip to content

Conform with recent rustc changes (caller_location intrinsic) - #376

Merged
adpaco merged 2 commits into
model-checking:main-154-2021-08-02from
adpaco:fix-main-154-2021-08-02
Aug 2, 2021
Merged

Conform with recent rustc changes (caller_location intrinsic)#376
adpaco merged 2 commits into
model-checking:main-154-2021-08-02from
adpaco:fix-main-154-2021-08-02

Use `codegen_unimplemented_instrinsic` instead

b4cec86
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs