For info on how the current borrowck works, see the rustc guide.
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.
Sign up
Cannot retrieve contributors at this time
For info on how the current borrowck works, see the rustc guide.