https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.66.1 2022-04-05T02:14:32+00:00 2022-04-05T02:14:32+00:00 ohno418 yutaro.ono.418@gmail.com 2022-03-31T14:58:45+00:00 urn:sha1:0d2a00058b4b3d4a04712309cc4cc371a8fb8653 2021-11-20T18:54:31+00:00 Esteban Kuber esteban@kuber.com.ar 2021-10-05T23:04:09+00:00 urn:sha1:6b9d910639d50a26cec46e326e1556665b22decf Be more thorough in using `ItemObligation` and `BindingObligation` when evaluating obligations so that we can point at trait bounds that introduced unfulfilled obligations. We no longer incorrectly point at unrelated trait bounds (`substs-ppaux.verbose.stderr`). In particular, we now point at trait bounds on method calls. We no longer point at "obvious" obligation sources (we no longer have a note pointing at `Trait` saying "required by a bound in `Trait`", like in `associated-types-no-suitable-supertrait*`). Address part of #89418. 2021-07-19T15:43:35+00:00 Esteban Küber esteban@kuber.com.ar 2021-07-17T18:13:50+00:00 urn:sha1:ba052bd8de1459acb6809215b0bedf4ea476ef9a * Always point at macros, including derive macros * Point at non-local items that introduce a trait requirement * On private associated item, point at definition 2020-09-02T19:26:37+00:00 Dan Aloni alonid@gmail.com 2020-09-02T07:40:56+00:00 urn:sha1:07e7823c01be1733df2480de19fbbe6b8e9384cf If a symbol name can only be imported from one place for a type, and as long as it was not glob-imported anywhere in the current crate, we can trim its printed path and print only the name. This has wide implications on error messages with types, for example, shortening `std::vec::Vec` to just `Vec`, as long as there is no other `Vec` importable anywhere. This adds a new '-Z trim-diagnostic-paths=false' option to control this feature. On the good path, with no diagnosis printed, we should try to avoid issuing this query, so we need to prevent trimmed_def_paths query on several cases. This change also relies on a previous commit that differentiates between `Debug` and `Display` on various rustc types, where the latter is trimmed and presented to the user and the former is not. 2019-08-31T07:14:23+00:00 Esteban Küber esteban@kuber.com.ar 2019-08-24T21:44:43+00:00 urn:sha1:444bc3ca6607f7bdeb088b34db23c01e056900b1 2018-12-26T04:08:33+00:00 Mark Rousskov mark.simulacrum@gmail.com 2018-12-25T15:56:47+00:00 urn:sha1:2a663555ddf36f6b041445894a8c175cd1bc718c 2018-08-14T09:12:09+00:00 David Wood david@davidtw.co 2018-08-08T12:50:16+00:00 urn:sha1:3fc7ab237314a4ce85e612b4ce590c27f1425291