100644 blob cae303039a19430e5f371da8de73e362d4ced40e	constraint_generation.rs
040000 tree 8cce6d973ee5b18d27010db62509850dd93b54bb	constraints
100644 blob 13e5769c5bea8a777b0d8216af992be36a0c2c37	facts.rs
100644 blob 98679f236db50142a4bc2a2acaa1319cd3b11078	invalidation.rs
100644 blob 75213d30982f9a833e936d28cec1537e32a1d611	member_constraints.rs
100644 blob 7a5bbb4d892980d3c6850c427c14b54ea17b0f18	mod.rs
040000 tree 38140d314c4aa3e1e2d8f0a58bf1a5a0275d03f0	region_infer
100644 blob db15d2c54fdbcf94bca0a26846853e2ec5c5b298	renumber.rs
040000 tree e11a01aaceba02a2f0e99d1eca99ad8284f24b01	type_check
100644 blob 9ad15fca0017dc0c309d22a9a50365866b633e5c	universal_regions.rs