Skip to content

Region inference member constraints #344

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Merged
Changes from 1 commit
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
20347ca
fix typo
nikomatsakis Jun 18, 2019
f2c8574
break out parts of the region inference chapter into sub-chapters
nikomatsakis Jun 18, 2019
7ec2b86
start filling out the constraint propagation chapter in more detail
nikomatsakis Jun 18, 2019
9e62f21
describe region inference and member constraints in some detail
nikomatsakis Jun 20, 2019
b8ff361
adjust overview slightly
nikomatsakis Jun 20, 2019
8f2f27f
Update src/borrow_check/region_inference/constraint_propagation.md
nikomatsakis Jun 24, 2019
1f8181c
Update src/borrow_check/region_inference/lifetime_parameters.md
nikomatsakis Jun 24, 2019
addc52b
Update src/borrow_check/region_inference/lifetime_parameters.md
nikomatsakis Jun 24, 2019
bfd8e66
Update src/borrow_check/region_inference/lifetime_parameters.md
nikomatsakis Jun 24, 2019
78834e5
Update src/borrow_check/region_inference/constraint_propagation.md
nikomatsakis Jun 24, 2019
8c6e8ae
Update src/borrow_check/region_inference/constraint_propagation.md
nikomatsakis Jun 24, 2019
0863713
Update src/borrow_check/region_inference/constraint_propagation.md
nikomatsakis Jun 24, 2019
c6b4f83
Update src/borrow_check/region_inference/constraint_propagation.md
nikomatsakis Jun 24, 2019
3ea4723
Update src/borrow_check/region_inference/constraint_propagation.md
nikomatsakis Jun 24, 2019
2563350
Update src/borrow_check/region_inference/constraint_propagation.md
nikomatsakis Jun 24, 2019
5f2af11
Update src/borrow_check/region_inference/constraint_propagation.md
nikomatsakis Jun 24, 2019
3273d19
Update src/borrow_check/region_inference/member_constraints.md
nikomatsakis Jun 24, 2019
7e51cd3
Update src/borrow_check/region_inference/lifetime_parameters.md
nikomatsakis Jun 24, 2019
d7e2823
Update src/borrow_check/region_inference/member_constraints.md
nikomatsakis Jun 24, 2019
35ff1f5
Update src/borrow_check/region_inference/member_constraints.md
nikomatsakis Jun 24, 2019
7d54887
Update src/borrow_check/region_inference/constraint_propagation.md
nikomatsakis Jun 24, 2019
88f13cb
Update src/borrow_check/region_inference/member_constraints.md
nikomatsakis Jun 24, 2019
c12a025
Update src/borrow_check/region_inference/constraint_propagation.md
nikomatsakis Jun 24, 2019
06548ae
Update src/borrow_check/region_inference/member_constraints.md
nikomatsakis Jun 24, 2019
c44f66f
Update src/borrow_check/region_inference/placeholders_and_universes.md
nikomatsakis Jun 24, 2019
1cd4efb
Update src/borrow_check/region_inference/placeholders_and_universes.md
nikomatsakis Jun 24, 2019
348e2be
Update src/borrow_check/region_inference/placeholders_and_universes.md
nikomatsakis Jun 24, 2019
3ecff8c
fix indentation
nikomatsakis Jun 24, 2019
564b1b3
add `point` to the glossary and link a use of it
nikomatsakis Jun 24, 2019
425c1cb
fix long line
mark-i-m Jun 26, 2019
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Update src/borrow_check/region_inference/lifetime_parameters.md
Co-Authored-By: lqd <[email protected]>
  • Loading branch information
nikomatsakis and lqd authored Jun 24, 2019
commit bfd8e66be59e53ea32628ac20456629f446e212f
2 changes: 1 addition & 1 deletion src/borrow_check/region_inference/lifetime_parameters.md
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ the [`UniversalRegionRelations`] struct would track that `'a: 'b` is
known to hold (which could be tested with the [`outlives`] function.

[`UniversalRegions`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/nll/universal_regions/struct.UniversalRegions.html
[`UniversalRegionsRelations`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/nll/type_check/free_region_relations/struct.UniversalRegionRelations.html
[`UniversalRegionRelations`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/nll/type_check/free_region_relations/struct.UniversalRegionRelations.html
[`outlives`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/nll/type_check/free_region_relations/struct.UniversalRegionRelations.html#method.outlives

## Everything is a region variable
Expand Down