Skip to content

Commit 6de10c1

Browse files
authored
Update chalk-solve/src/rust_ir.rs
1 parent b3837fa commit 6de10c1

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

chalk-solve/src/rust_ir.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -154,6 +154,8 @@ pub struct FnDefDatumBound<I: Interner> {
154154
/// Rustc doesn't pass in late-bound the regions in substs, but the inputs
155155
/// and outputs may use them. `where_clauses` don't need an extra set of
156156
/// `Binders`, since any lifetimes found in where clauses are not late-bound.
157+
///
158+
/// For more information, see [this rustc-dev-guide chapter](https://rustc-dev-guide.rust-lang.org/early-late-bound.html).
157159
pub inputs_and_output: Binders<FnDefInputsAndOutputDatum<I>>,
158160

159161
/// Where clauses defined on the function

0 commit comments

Comments
 (0)