|  | 7ed10668c6 | pub trait WithTrace 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2024-08-30 21:21:15 +00:00 |  | 
			
				
					|  | 2034df5379 | pub trait QueryExt 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2024-08-30 21:18:54 +00:00 |  | 
			
				
					|  | 68527dac32 | move Factoryauto-impl
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-11-07 16:17:31 +00:00 |  | 
			
				
					|  | 02550c0ded | more composition tests 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-16 12:12:01 +00:00 |  | 
			
				
					|  | 3c7b122b2a | generalise composition testing 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 18:55:26 +00:00 |  | 
			
				
					|  | b846e1040a | ToEq
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 18:45:04 +00:00 |  | 
			
				
					|  | a0c49787c8 | local_follows_laws 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 18:31:40 +00:00 |  | 
			
				
					|  | d2a021d813 | more fail_follows_laws 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 18:17:57 +00:00 |  | 
			
				
					|  | 062c532b91 | composition select_second 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 18:14:01 +00:00 |  | 
			
				
					|  | 7e60ff5624 | remove unnecessary clone 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 18:08:15 +00:00 |  | 
			
				
					|  | d0265ef761 | tests::eqr_tests 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 18:06:54 +00:00 |  | 
			
				
					|  | 7f37bcbd49 | fail_follows_laws 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 18:05:36 +00:00 |  | 
			
				
					|  | 787efb3662 | simplify select_second 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 17:41:21 +00:00 |  | 
			
				
					|  | 7ed5e9f255 | shared_is_same_after_clone 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 17:39:28 +00:00 |  | 
			
				
					|  | 807ff5e589 | shared_follows_laws 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 17:34:09 +00:00 |  | 
			
				
					|  | 31e6ac9429 | tryfuture tests 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 17:19:53 +00:00 |  | 
			
				
					|  | 8ee0a196c6 | simplify WrapFunction 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 17:11:43 +00:00 |  | 
			
				
					|  | be61a0bf3b | tests::tests 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. | 2023-10-15 17:06:52 +00:00 |  | 
			
				
					|  | 3fb5d996fa | composition tests 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. | 2023-10-15 17:02:22 +00:00 |  | 
			
				
					|  | ee86a0092f | select_second 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 16:31:38 +00:00 |  | 
			
				
					|  | 23fbe93afe | eqr tests 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 16:19:44 +00:00 |  | 
			
				
					|  | 4d668876eb | select_of_equal_is_same 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 16:07:59 +00:00 |  | 
			
				
					|  | d6f2c7a7fa | iterate_can_be_expressed_via_bind 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 15:50:55 +00:00 |  | 
			
				
					|  | 2badeb7f01 | join_can_be_expressed_via_bind 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 15:10:23 +00:00 |  | 
			
				
					|  | 106fd83e33 | effect tests 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 15:01:23 +00:00 |  | 
			
				
					|  | b5e5727936 | derives for WithEffect 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 14:46:49 +00:00 |  | 
			
				
					|  | 8a8666e7b1 | fix effect method name 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 14:46:35 +00:00 |  | 
			
				
					|  | 45b3e6c2bf | extend result error samples 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 14:40:40 +00:00 |  | 
			
				
					|  | f51c0d21fd | solo tests 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 14:36:16 +00:00 |  | 
			
				
					|  | 30497ac69c | tuple_can_be_expressed_via_la2 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 14:33:49 +00:00 |  | 
			
				
					|  | 57cbffe014 | fix void test error 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 14:30:58 +00:00 |  | 
			
				
					|  | e8c778fa0d | move void test 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. | 2023-10-15 14:29:51 +00:00 |  | 
			
				
					|  | f8d8a77b1f | void_can_be_exressed_via_replace 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 14:26:40 +00:00 |  | 
			
				
					|  | ad5361cfbf | lazy tests 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 14:18:22 +00:00 |  | 
			
				
					|  | 655e33768f | future test 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 14:16:42 +00:00 |  | 
			
				
					|  | 43f20710a4 | derive shared result 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 14:09:41 +00:00 |  | 
			
				
					|  | e83f170dda | fix result discard_second 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 14:06:39 +00:00 |  | 
			
				
					|  | 3a87bff32f | re-export ext as _ 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 13:51:08 +00:00 |  | 
			
				
					|  | 87451d6cb6 | balanced_bound
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 13:37:36 +00:00 |  | 
			
				
					|  | 89af9d1084 | different_singulars_not_equal
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 13:13:13 +00:00 |  | 
			
				
					|  | 32a89e4105 | reference_equal_to_itself
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 13:04:26 +00:00 |  | 
			
				
					|  | 67833ca7bf | can_refer_to_singular 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 12:52:58 +00:00 |  | 
			
				
					|  | b1cdb4f3fb | cannot_refer_to_empty
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 12:52:49 +00:00 |  | 
			
				
					|  | edbff39ae2 | one_has_height_1
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 12:45:46 +00:00 |  | 
			
				
					|  | 16fbbbd16d | empty_has_height_0
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. | 2023-10-15 12:13:37 +00:00 |  | 
			
				
					|  | bc3d33673f | ord/eq for AtomicObject 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 12:10:52 +00:00 |  | 
			
				
					|  | 03808158eb | fix generic derive bounds 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 11:53:10 +00:00 |  | 
			
				
					|  | 8473208362 | test stackless iteration 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 11:48:13 +00:00 |  | 
			
				
					|  | 8818d0c53e | count in trace example 
		
	
	
		
			
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. | 2023-10-15 11:32:57 +00:00 |  | 
			
				
					|  | 988764ab07 | rstd::counting 
		
	
	
		
			
				
	
				buildbot/cargo fmt (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.65) Build done. 
				
	
				buildbot/cargo doc (1.72) Build done. 
				
	
				buildbot/cargo clippy (1.72) Build done. 
				
	
				buildbot/cargo test (1.65) Build done. | 2023-10-15 11:27:18 +00:00 |  |