diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-05-10 06:12:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-10 06:12:14 +0200 |
| commit | 3d4d6703a9d54b3285811813fc98b6b30abda03c (patch) | |
| tree | 92d912538e297ea962b3b234b6fb8e9a4e23cf5f /tests/codegen/src-hash-algorithm/src-hash-algorithm-md5.rs | |
| parent | d117b41409746d4970ffc886a8f54e49696fe06f (diff) | |
| parent | b7f570fff3e582e2ffb8bce3ea698b6bc8f4ccef (diff) | |
| download | rust-3d4d6703a9d54b3285811813fc98b6b30abda03c.tar.gz | |
Rollup merge of #111381 - oli-obk:closure_attr, r=petrochenkov
Keep encoding attributes for closures
see https://github.com/model-checking/kani/pull/2406#issuecomment-1539630332 for some context.
We stopped encoding attributes for closures, but some tools need them
Diffstat (limited to 'tests/codegen/src-hash-algorithm/src-hash-algorithm-md5.rs')
0 files changed, 0 insertions, 0 deletions