100644 blob cae303039a19430e5f371da8de73e362d4ced40e	constraint_generation.rs
040000 tree 8cce6d973ee5b18d27010db62509850dd93b54bb	constraints
100644 blob a16c36d749f0d704d0d86a6987585d394417d734	facts.rs
100644 blob 2442bdf8a9b4e50962d714c60232ffd2e3ede8af	invalidation.rs
100644 blob 75213d30982f9a833e936d28cec1537e32a1d611	member_constraints.rs
100644 blob bbcb823c8f91c003551c3f1b7d5bb19b46d13dd4	mod.rs
040000 tree a2bade7b147c369aec760f52147a6767173cd92d	region_infer
100644 blob ba323b113e9ebf23b6428970f1fb87327715a097	renumber.rs
040000 tree 356547ab5ebbfc14dcf98ce63bf573d2e445f7a8	type_check
100644 blob 9ad15fca0017dc0c309d22a9a50365866b633e5c	universal_regions.rs