search

rust-lang / types-team

Home of the "types team", affiliated with the compiler and lang teams.
https://rust-lang.github.io/types-team/
Apache License 2.0
96 stars 19 forks source link

How polonius fits in #56

Closed nikomatsakis closed 1 year ago

nikomatsakis commented 2 years ago

Summary

Discuss how polonius would fit into the overall compiler architecture, especially in light of plans around chalk/mir-formality

Rationale

There are several people interested in pushing on polonius, so let's figure out how it fits into the existing system.

lcnr commented 1 year ago

had a meeting about polonius: https://rust-lang.zulipchat.com/#narrow/stream/326132-t-types.2Fmeetings/topic/2023-05-22.20polonius.20roadmap