diff options
| author | Nadrieril | 2024-04-10 16:46:24 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-04-10 16:58:44 +0200 |
| commit | 143a68b2c43c4302abbbd39c28cac3f9c5f52f4a (patch) | |
| tree | f7380e47918ad4aaf970cfb58e444ed214dbd81f /compiler/Invariants.ml | |
| parent | dabbffde83e640aabc634d0a8917108decf9a5e7 (diff) | |
Trust rustc regarding `Copy` bounds
Diffstat (limited to '')
| -rw-r--r-- | compiler/Invariants.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Invariants.ml b/compiler/Invariants.ml index 2ccf3ad4..6e448cc4 100644 --- a/compiler/Invariants.ml +++ b/compiler/Invariants.ml @@ -827,7 +827,7 @@ let check_symbolic_values (meta : Meta.meta) (ctx : eval_ctx) : unit = sanity_check __FILE__ __LINE__ (info.env_count <= 1) meta; (* A duplicated symbolic value is necessarily primitively copyable *) sanity_check __FILE__ __LINE__ - (info.env_count <= 1 || ty_is_primitively_copyable info.ty) + (info.env_count <= 1 || ty_is_copyable info.ty) meta; sanity_check __FILE__ __LINE__ |