next-solver « traits « ui « tests - rust - https://github.com/rust-lang/rust

Mode	Name	Size
-rw-r--r--	alias-bound-preference.rs	1189	log plain
-rw-r--r--	alias-bound-unsound.rs	901	log plain
-rw-r--r--	alias-bound-unsound.stderr	1772	log plain
-rw-r--r--	alias-eq-in-canonical-response.rs	767	log plain
d---------	alias-relate	564	log plain
-rw-r--r--	alias-sub.rs	841	log plain
-rw-r--r--	ambiguous-impl-in-resolve.rs	318	log plain
-rw-r--r--	array-default.rs	147	log plain
d---------	assembly	448	log plain
-rw-r--r--	async.fail.stderr	607	log plain
-rw-r--r--	async.rs	323	log plain
-rw-r--r--	auto-with-drop_tracking_mir.fail.stderr	942	log plain
-rw-r--r--	auto-with-drop_tracking_mir.rs	478	log plain
-rw-r--r--	borrowck-error.rs	201	log plain
-rw-r--r--	borrowck-error.stderr	373	log plain
-rw-r--r--	builtin-fn-must-return-sized.rs	372	log plain
-rw-r--r--	builtin-fn-must-return-sized.stderr	752	log plain
d---------	canonical	288	log plain
-rw-r--r--	cast-checks-handling-projections.rs	88	log plain
-rw-r--r--	closure-inference-guidance.rs	226	log plain
-rw-r--r--	closure-signature-inference-2.rs	663	log plain
-rw-r--r--	closure-signature-inference.rs	192	log plain
-rw-r--r--	closure-substs-ambiguity.rs	144	log plain
-rw-r--r--	coerce-ambig-alias-to-rigid-alias.rs	318	log plain
d---------	coherence	875	log plain
-rw-r--r--	const-param-placeholder.fail.stderr	571	log plain
-rw-r--r--	const-param-placeholder.rs	402	log plain
-rw-r--r--	constrain-alias-goals-in-unsize.rs	247	log plain
-rw-r--r--	coroutine.fail.stderr	2210	log plain
-rw-r--r--	coroutine.rs	716	log plain
d---------	cycles	1249	log plain
-rw-r--r--	deduce-ty-from-object.rs	135	log plain
-rw-r--r--	dedup-regions.rs	430	log plain
-rw-r--r--	destruct.rs	179	log plain
d---------	diagnostics	416	log plain
-rw-r--r--	dont-canonicalize-re-error.rs	1270	log plain
-rw-r--r--	dont-canonicalize-re-error.stderr	901	log plain
-rw-r--r--	dont-coerce-infer-to-dyn.rs	352	log plain
-rw-r--r--	dont-elaborate-for-projections.rs	227	log plain
-rw-r--r--	dont-ice-on-assoc-projection.rs	504	log plain
-rw-r--r--	dont-ice-on-assoc-projection.stderr	982	log plain
-rw-r--r--	dont-loop-fulfill-on-region-constraints.rs	862	log plain
-rw-r--r--	dont-normalize-proj-with-error.rs	518	log plain
-rw-r--r--	dont-normalize-proj-with-error.stderr	327	log plain
-rw-r--r--	dont-remap-tait-substs.rs	463	log plain
-rw-r--r--	dont-type_of-tait-in-defining-scope.is_send.stderr	318	log plain
-rw-r--r--	dont-type_of-tait-in-defining-scope.not_send.stderr	318	log plain
-rw-r--r--	dont-type_of-tait-in-defining-scope.rs	381	log plain
-rw-r--r--	dyn-any-dont-prefer-impl.rs	371	log plain
-rw-r--r--	elaborate-item-bounds.rs	129	log plain
d---------	env-shadows-impls	576	log plain
-rw-r--r--	escaping-bound-vars-in-writeback-normalization.rs	510	log plain
-rw-r--r--	float-canonical.rs	103	log plain
-rw-r--r--	fn-trait-closure.rs	138	log plain
-rw-r--r--	fn-trait.rs	1046	log plain
-rw-r--r--	fn-trait.stderr	4946	log plain
d---------	generalize	515	log plain
-rw-r--r--	higher-ranked-dyn-bounds.rs	299	log plain
-rw-r--r--	int-var-alias-eq.rs	358	log plain
-rw-r--r--	int-var-is-send.rs	114	log plain
-rw-r--r--	issue-118950-root-region.rs	624	log plain
-rw-r--r--	issue-118950-root-region.stderr	2702	log plain
-rw-r--r--	iter-filter-projection.rs	221	log plain
-rw-r--r--	lazy-nested-obligations-1.rs	238	log plain
-rw-r--r--	lazy-nested-obligations-2.rs	324	log plain
-rw-r--r--	lazy-nested-obligations-3.rs	644	log plain
-rw-r--r--	more-object-bound.rs	514	log plain
-rw-r--r--	more-object-bound.stderr	700	log plain
-rw-r--r--	nested-alias-bound.rs	207	log plain
-rw-r--r--	nested-obligations-with-bound-vars-gat.rs	550	log plain
d---------	normalize	1333	log plain
-rw-r--r--	object-soundness-requires-generalization.rs	691	log plain
-rw-r--r--	object-unsafety.rs	619	log plain
-rw-r--r--	object-unsafety.stderr	1970	log plain
-rw-r--r--	opportunistic-region-resolve.rs	326	log plain
d---------	overflow	586	log plain
-rw-r--r--	param-discr-kind.rs	115	log plain
-rw-r--r--	pointee.rs	464	log plain
-rw-r--r--	pointer-like.rs	273	log plain
-rw-r--r--	pointer-like.stderr	767	log plain
-rw-r--r--	prefer-candidate-no-constraints.rs	618	log plain
-rw-r--r--	prefer-param-env-on-ambiguity.rs	166	log plain
-rw-r--r--	projection-discr-kind.rs	407	log plain
-rw-r--r--	projection-discr-kind.stderr	809	log plain
-rw-r--r--	select-alias-bound-as-param.rs	172	log plain
-rw-r--r--	slice-match-byte-lit.rs	149	log plain
-rw-r--r--	specialization-transmute.rs	657	log plain
-rw-r--r--	specialization-transmute.stderr	1661	log plain
-rw-r--r--	specialization-unconstrained.rs	470	log plain
-rw-r--r--	specialization-unconstrained.stderr	1040	log plain
-rw-r--r--	stall-num-var-auto-trait.fallback.stderr	569	log plain
-rw-r--r--	stall-num-var-auto-trait.rs	499	log plain
-rw-r--r--	structural-resolve-field.rs	191	log plain
-rw-r--r--	trait-upcast-lhs-needs-normalization.rs	318	log plain
-rw-r--r--	try-example.rs	478	log plain
d---------	typeck	110	log plain
-rw-r--r--	unevaluated-const-impl-trait-ref.fails.stderr	685	log plain
-rw-r--r--	unevaluated-const-impl-trait-ref.rs	411	log plain
-rw-r--r--	unsafe-auto-trait-impl.rs	113	log plain
-rw-r--r--	unsize-although-ambiguous.rs	380	log plain
-rw-r--r--	unsize-good.rs	438	log plain
-rw-r--r--	unsound-region-obligation.rs	285	log plain
-rw-r--r--	unsound-region-obligation.stderr	235	log plain
-rw-r--r--	upcast-right-substs.rs	235	log plain
-rw-r--r--	upcast-wrong-substs.rs	195	log plain
-rw-r--r--	upcast-wrong-substs.stderr	447	log plain
-rw-r--r--	winnow-specializing-impls.rs	306	log plain