Dylan MacKenzie

@regexident Is this something that interests you? I think it's feasible, but definitely not trivial. I'm willing to help, of course. We should wait for @lqd to confirm that rust-lang/polonius#157...

Ah, okay. I guess I conflated "placeholder origin is live at all points" with "placeholder origin subset constraint must hold at all points". It seemed like the first would help...

Ugh. In addition to being wrong about the motivation for rust-lang/polonius#157, I was also wrong about what kind of leaper we need to express its rules for placeholder liveness. When...

Hey @regexident, let me know if you want to work on this. We will need the ability to compose `ValueFilter`s as described in https://github.com/rust-lang/datafrog/issues/38#issuecomment-904060973 going forward, but it'll take me...

No worries. I'm not a model for availability myself. Let's [talk on Zulip](https://rust-lang.zulipchat.com/#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/datafrog.2338.20notes).

If anything, we'd want to switch to [shorter names](https://rust-lang.zulipchat.com/#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/Reviewing.20Datafrog.20PRs/near/248422230): going from `Val` or `V` to `Value` doesn't add any additional information, but it does make parameter lists longer. Same thing...