Niko Matsakis 29c86539b3 Expand the "givens" set to cover transitive relations. The givens array ... stores relationships like `'c <= '0` (where `'c` is a free region and `'0` is an inference variable) that are derived from closure arguments. These are (rather hackily) ignored for purposes of inference, preventing spurious errors. The current code did not handle transitive cases like `'c <= '0` and `'0 <= '1`. Fixes #24085.		2015-06-19 12:22:03 -04:00
..
graph	Expand the "givens" set to cover transitive relations. The givens array	2015-06-19 12:22:03 -04:00
unify
bitvec.rs
lib.rs
snapshot_vec.rs