]> git.lizzy.rs Git - rust.git/commit
Better errors for implied static bound
authorJack Huey <31162821+jackh726@users.noreply.github.com>
Tue, 23 Aug 2022 05:13:07 +0000 (01:13 -0400)
committerJack Huey <31162821+jackh726@users.noreply.github.com>
Wed, 14 Sep 2022 00:18:04 +0000 (20:18 -0400)
commitc75817b0a75d4b6b01ee10900ba5d01d4915e6a8
treece26bd55c144205f49c53ef0b7b1e92480f37a9a
parentff623ffc390aa124eff96d1f6a1d6e22c8e40af1
Better errors for implied static bound
23 files changed:
compiler/rustc_borrowck/src/diagnostics/explain_borrow.rs
compiler/rustc_borrowck/src/diagnostics/region_errors.rs
compiler/rustc_borrowck/src/region_infer/mod.rs
compiler/rustc_borrowck/src/type_check/canonical.rs
compiler/rustc_borrowck/src/type_check/constraint_conversion.rs
compiler/rustc_borrowck/src/type_check/mod.rs
compiler/rustc_error_messages/locales/en-US/infer.ftl
compiler/rustc_infer/src/infer/canonical/query_response.rs
compiler/rustc_infer/src/infer/error_reporting/note.rs
compiler/rustc_infer/src/infer/mod.rs
compiler/rustc_infer/src/infer/outlives/obligations.rs
compiler/rustc_middle/src/infer/canonical.rs
compiler/rustc_middle/src/mir/query.rs
compiler/rustc_middle/src/traits/mod.rs
compiler/rustc_middle/src/ty/structural_impls.rs
compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs
compiler/rustc_trait_selection/src/traits/query/type_op/custom.rs
compiler/rustc_trait_selection/src/traits/query/type_op/mod.rs
compiler/rustc_traits/src/type_op.rs
compiler/rustc_typeck/src/check/wfcheck.rs
src/test/ui/generic-associated-types/bugs/hrtb-implied-1.rs [new file with mode: 0644]
src/test/ui/generic-associated-types/bugs/hrtb-implied-1.stderr [new file with mode: 0644]
src/test/ui/nll/local-outlives-static-via-hrtb.stderr