rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

https://rust-lang.github.io/chalk/book/

Other

1.81k stars 179 forks source link

Open jackh726 opened 4 years ago

jackh726 commented 4 years ago

Right now, we only handle auto traits for Adts here. We need to extend auto trait support to all builtin types.

memoryleak47 commented 4 years ago

I'm working on this!

jackh726 commented 4 years ago

@memoryleak47 still working on this?

You should be able to @rustbot claim

memoryleak47 commented 3 years ago

I was learning for an exam (which I had today) within the last week, but yeah, I'll work on this in the near future.

@rustbot claim

jackh726 commented 3 years ago

Update, initial work was done here. But needs more: at least opaque and foreign types, maybe others.

matthewjasper commented 3 years ago

638 handles opaque types

drtychai commented 3 years ago

Starting work on this today, hoping to finish out foreign types and any other ones that come up.

@rustbot claim