040000 tree a4be81d74209c4fd0ffbbd68fc61d23cbe797d3a	canonical
100644 blob e37e69a617bbd6bf7c0200430b169f78f6646b14	coherence.rs
100644 blob 7b66667486fc906f18f6840da80b5826d2203df5	delegate.rs
100644 blob 6396c0e7f2b57105ce4c37a8f69ef5b1cf495c36	lib.rs
100644 blob e2036f0ab0cc3f25fabae08eab7073d47c155d6a	normalize.rs
100644 blob 83b2eb6ac62955a5e17c4886ebf0cf8a4a01f0ac	placeholder.rs
040000 tree b72752d48d48f1afd4dc5a0445ac6fa86ffee1bc	solve