Esteban Kuber 5e1972eba7 Tweak assoc type obligation spans ... * Point at RHS of associated type in obligation span * Point at `impl` assoc type on projection error * Reduce verbosity of recursive obligations * Point at source of binding lifetime obligation * Tweak "required bound" note * Tweak "expected... found opaque (return) type" labels * Point at set type in impl assoc type WF errors		2021-12-11 02:32:15 +00:00
..
arithmetic.rs	Fix various Chalk lowering bugs	2020-10-30 19:39:33 +00:00
basic.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
builtin-copy-clone.rs	impl Copy/Clone for arrays in std, not in compiler	2021-11-08 13:11:58 -05:00
chalk_initial_program.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
chalk_initial_program.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
closure.rs	Update Chalk	2020-06-24 00:48:33 -04:00
closure.stderr	Update Chalk	2020-06-24 00:48:33 -04:00
generic_impls.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
generic_impls.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
impl_wf.rs	Separate bounds and predicates for associated/opaque types	2020-10-06 11:19:29 +01:00
impl_wf.stderr	Use note to point at bound introducing requirement	2021-08-16 17:47:22 +00:00
impl_wf_2.rs	Separate bounds and predicates for associated/opaque types	2020-10-06 11:19:29 +01:00
impl_wf_2.stderr	Tweak assoc type obligation spans	2021-12-11 02:32:15 +00:00
inherent_impl.rs	Update Chalk	2020-06-24 00:48:33 -04:00
inherent_impl_min.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
lower_env1.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
lower_env2.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
lower_env3.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
lower_impl.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
lower_struct.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
lower_trait.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
lower_trait_higher_rank.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
lower_trait_where_clause.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
println.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
projection.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
recursive_where_clause_on_type.rs	Update Chalk	2020-06-24 00:48:33 -04:00
recursive_where_clause_on_type.stderr	Update Chalk	2020-06-24 00:48:33 -04:00
super_trait.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
trait-objects.rs	Fix various Chalk lowering bugs	2020-10-30 19:39:33 +00:00
trait_implied_bound.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
type_implied_bound.rs	Reintegrate chalk using chalk-solve	2020-05-07 17:35:58 -04:00
type_inference.rs	Upgrade chalk to 0.21	2020-09-04 19:12:54 -04:00
type_inference.stderr	Point at call span that introduced obligation for the arg	2021-09-16 12:12:27 +00:00
type_wf.rs	Upgrade chalk to 0.21	2020-09-04 19:12:54 -04:00
type_wf.stderr	Point at source of trait bound obligations in more places	2021-11-20 18:54:31 +00:00