Use the user's names when reporting complex types #164

Activity

1. graydon commented on Jan 27, 2011

   

   graydon

   on Jan 27, 2011

   Contributor

   More actions

   WONTFIX (not require for bootstrapping; works correctly in rustc already).
2. oli-obk

   added 2 commits that reference this issue on Jul 19, 2017

   Update Cargo.toml, fix for build error (see rust-lang#164)

   23cf495

   Merge pull request rust-lang#165 from sharazam/patch-1

   ...

   25185fd
3. keeperofdakeys

   added a commit that references this issue on Dec 12, 2017

   Merge pull request rust-lang#164 from japaric/fix-linkage

   ...

   53d11fc
4. dlrobertson

   added a commit that references this issue on Nov 29, 2018

   Merge pull request rust-lang#164 from brauliobz/grammar_item_union

   ...

   d197813
5. bors

   added a commit that references this issue on Oct 26, 2020

   Call panic lang item on failed TerminatorKind::Assert

   ...

   This issue will close once commit 7031c96 is merged into the 'master' branch.

   7031c96
6. gi-dellav

   added a commit that references this issue on Dec 9, 2021

   Merge pull request rust-lang#164 from wasmerio/feature/dont-rauw-your…

   ...

   c2e2808
7. antoyo

   added a commit that references this issue on Jun 7, 2022

   Merge pull request rust-lang#164 from yvt/no-intel-syntax

   ...

   1d62e95
8. celinval

   added a commit that references this issue on Jun 4, 2024

   Update CBMC version check to 5.30.0 (fix rust-lang#164) rust-lang#166

   ...

   This issue will close once commit dc6d2c0 is merged into the 'upstream/master' branch.

   dc6d2c0
9. celinval

   added a commit that references this issue on Nov 20, 2024

   Update pull_requests.toml (rust-lang#164)

   ...

   83e04a0
10. U007D

    added a commit that references this issue on Aug 21, 2026

    Merge rust-lang#164

    ...

    943fc5e