Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Lowering unnamed fields and anonymous adt #115367

Merged
merged 8 commits into from
Feb 12, 2024

Commits on Feb 12, 2024

  1. Configuration menu
    Copy the full SHA
    879a1e5 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    36d7e7f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    0c0df4e View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    7d012e8 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    7660d6b View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    822d6dc View commit details
    Browse the repository at this point in the history
  7. Add #[derive(Clone, Copy)] to anonymous adts

    Fix the `AssertBoundIsClone` error for anonymous adts.
    frank-king committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    2b04ca9 View commit details
    Browse the repository at this point in the history
  8. Improve some codes according to the reviews

    - improve diagnostics of field uniqueness check and representation check
    - simplify the implementation of field uniqueness check
    - remove some useless codes and improvement neatness
    frank-king committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    0dbd6e9 View commit details
    Browse the repository at this point in the history