Jack Huey

Add tests for unification of all types

2

Originally mentioned in https://github.com/rust-lang/chalk/pull/531 It might be worth testing that specific types can unify with each other. In that PR, we specifically talked about trait objects with different ordering of...

So, currently with the SLG solver, answers are stored by a goal + environment. Thus, when an we have an otherwise identical goal with different environments, we can do duplicate...

Impl auto traits for builtin types

6

Right now, we only handle auto traits for `Adt`s [here](https://github.com/rust-lang/chalk/blob/99ea62d9f092c580eedebd601e4e0dce20be3d9f/chalk-solve/src/clauses.rs#L259). We need to extend auto trait support to all builtin types.

Implement [associated constants](https://doc.rust-lang.org/edition-guide/rust-2018/trait-system/associated-constants.html), which are similar to associated types, except that they can also have values in traits (until associated_type_defaults gets stabilized).

experiment with converting semantic to syntactic equality

4

This issue has been assigned to @Areredify via [this comment](https://github.com/rust-lang/chalk/issues/364#issuecomment-614024735).

Support passing pg-promise initialization options during the library's initialization

5

It would be nice to be able to pass initialization options or a configuration object directly to pg-promise. This could be fairly easily be possible if you 1) Allow either...

Fix implied outlives bounds logic for projections

27

The logic here is subtly wrong. I put a bit of an explanation in a767d7b5165cea8ee5cbe494a4a636c50ef67c9c. TL;DR: we register outlives predicates to be proved, because wf code normalizes projections (from the...

Re-add HRTB implied static bug note

6

r? @compiler-errors since you reviewed it previously I deleted a `normalize` call and forgot about it. Whoops.

Add basic GATs reference information

1

There really isn't a *ton* to add here. Almost all of the syntax related to GATs falls out from existing syntax.