issues
search
nikomatsakis
/
borrowck
Modeling NLL and the Rust borrowck
Apache License 2.0
73
stars
12
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
rework free-regions to be handled more specially
#19
nikomatsakis
closed
6 years ago
1
Slightly-too-long lifetime for Loan inferred
#18
alexanderjsummers
opened
6 years ago
1
Dangly paths
#17
pnkfelix
opened
6 years ago
1
Fix typo in parser that caused outlives vector to always be empty
#16
Nashenas88
closed
6 years ago
0
Fix typo in test
#15
Nashenas88
closed
6 years ago
0
Include outlives endpoints in inference and fix typo in test assertion
#14
Nashenas88
closed
6 years ago
1
modify borrowck rules, particularly around mutable borrows
#13
nikomatsakis
closed
6 years ago
0
free region support
#12
nikomatsakis
opened
6 years ago
10
propagate loans forwards (instead of backwards)
#11
arielb1
closed
7 years ago
1
add raw pointers
#10
nikomatsakis
opened
7 years ago
0
model index lvalues
#9
nikomatsakis
opened
7 years ago
0
model `enum`
#8
nikomatsakis
opened
7 years ago
0
detect illegal mutability for loans
#7
nikomatsakis
opened
7 years ago
0
add function prototypes
#6
nikomatsakis
opened
7 years ago
0
model error messages
#5
nikomatsakis
opened
7 years ago
0
integrate with chalk?
#4
nikomatsakis
opened
7 years ago
0
model deferred borrows for nested method calls
#3
nikomatsakis
opened
7 years ago
0
extend borrow checker to support unions
#2
nikomatsakis
opened
7 years ago
0
add prototype of the borrow checker
#1
nikomatsakis
closed
7 years ago
0