Skip to content

Commit

Permalink
Update macros_types_checked_invalid_constraints_simple.snap
Browse files Browse the repository at this point in the history
  • Loading branch information
zeevick10 authored Feb 20, 2025
1 parent fb3772b commit 5405a0e
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ error[E05001]: ability constraint not satisfied
---- 'copy' constraint declared here
·
7macro fun bar<$T>(_: NeedsCopy<$T>) {}
│ ^^^^^^^^^^^^^ 'copy' constraint not satisifed
│ ^^^^^^^^^^^^^ 'copy' constraint not satisfied
·
14 │ bar!<None>(NeedsCopy {});
│ ---- The type 'a::m::None' does not have the ability 'copy'
Expand All @@ -28,7 +28,7 @@ error[E05001]: ability constraint not satisfied
│ ---- 'copy' constraint declared here
·
9 │ macro fun baz<$T>(): NeedsCopy<$T> { abort 0 }
│ ^^^^^^^^^^^^^ 'copy' constraint not satisifed
│ ^^^^^^^^^^^^^ 'copy' constraint not satisfied
·
18 │ baz!<None>()
│ ---- The type 'a::m::None' does not have the ability 'copy'
Expand Down

0 comments on commit 5405a0e

Please sign in to comment.