This team is chartered to maintain and improve a-mir-formality

[nikomatsakis]

This team is chartered to maintain and improve a-mir-formality, the types team’s model of the Rust type system. This team maintains a-mir-formality and associated codebases. They do not need to decide language semantics.

r? @jackh726 or @lcnr

[rustbot]

Error: The feature assign is not enabled in this repository.
To enable it add its section in the triagebot.toml in the root of the repository.

Please file an issue on GitHub at triagebot if there's a problem with this bot, or reach out on #triagebot on Zulip.

[github-actions]

Dry-run check results

[WARN  rust_team::sync] sync-team is running in dry mode, no changes will be applied.
[INFO  rust_team::sync] synchronizing crates-io
[INFO  rust_team::sync] synchronizing github
[INFO  rust_team::sync] 💻 Team Diffs:
    ➕ Creating team:
      Org: rust-lang
      Name: formality
      Description: Managed by the rust-lang/team repository.
      Privacy: closed
      Members:
        jackh726: member
        lqd: member
        nikomatsakis: member
        tiif: member
    💻 Repo Diffs:
    📝 Editing repo 'rust-lang/a-mir-formality':
      Permission Changes:
        Giving team 'formality' maintain permission