diff options
author | Son Ho | 2022-04-20 11:51:39 +0200 |
---|---|---|
committer | Son Ho | 2022-04-20 11:51:39 +0200 |
commit | baa2c0d091b56f97127f536640e2274256072360 (patch) | |
tree | 4cf80c60c2889ebb526bc35a2869bde4e73d0901 /fstar | |
parent | a5f685ae8d5f5ce5f6052b13bad2208364e003c5 (diff) |
Update the evaluation of matches for the cases where the scrutinee is a
shared loan
Diffstat (limited to 'fstar')
0 files changed, 0 insertions, 0 deletions