Stream: wg-traits

Topic: #50753 using evaluation in unsized coercion

nikomatsakis (Nov 02 2018 at 14:14, on Zulip):

I'm really interested in somebody pursuing https://github.com/rust-lang/rust/issues/50753 -- anybody interested? I can try to leave some notes on the issue and advertise it a bit.

nikomatsakis (Nov 02 2018 at 14:14, on Zulip):

@mikeyhew, you would be the obvious candidate, if you have time.

mikeyhew (Nov 02 2018 at 15:52, on Zulip):

@nikomatsakis can it be done? I tried using predicate_must_hold and predicate_may_hold, and neither worked

mikeyhew (Nov 02 2018 at 15:55, on Zulip):

I think predicate_must_hold would be closer. The issue it ran into was that sometimes closures didn't coerce into FnOnce

nikomatsakis (Nov 02 2018 at 18:20, on Zulip):

I'm not entirely sure, but something like it must be done eventually if we are to transition to chalk :)

nikomatsakis (Nov 02 2018 at 18:21, on Zulip):

I didn't entirely expect it to be easy though, it may be that we have to modify chalk in some way to add a "custom mode" for this sort of evaluation

nikomatsakis (Nov 02 2018 at 18:21, on Zulip):

would be a shame though

Last update: Jan 23 2020 at 20:10UTC