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 b9363200cdf2855dc60ab6c6801895642f8d7ecd	mod.rs
040000 tree 04e87c0cca24ce57f9183b29b6fcd00fcda937c6	region_infer
100644 blob db15d2c54fdbcf94bca0a26846853e2ec5c5b298	renumber.rs
040000 tree e11a01aaceba02a2f0e99d1eca99ad8284f24b01	type_check
100644 blob 9ad15fca0017dc0c309d22a9a50365866b633e5c	universal_regions.rs