This repository was archived by the owner on May 28, 2025. It is now read-only.
Commit 3d4d670
authored
Rollup merge of rust-lang#111381 - oli-obk:closure_attr, r=petrochenkov
Keep encoding attributes for closures
see model-checking/kani#2406 (comment) for some context.
We stopped encoding attributes for closures, but some tools need them1 file changed
+5
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
862 | 862 | | |
863 | 863 | | |
864 | 864 | | |
| 865 | + | |
| 866 | + | |
| 867 | + | |
| 868 | + | |
| 869 | + | |
865 | 870 | | |
866 | 871 | | |
867 | 872 | | |
| |||
874 | 879 | | |
875 | 880 | | |
876 | 881 | | |
877 | | - | |
878 | 882 | | |
879 | 883 | | |
880 | 884 | | |
| |||
0 commit comments