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

Mode	Name	Size
-rw-r--r--	alias-bound-preference.rs	1186	log plain
-rw-r--r--	alias-bound-unsound.rs	1000	log plain
-rw-r--r--	alias-bound-unsound.stderr	2811	log plain
-rw-r--r--	alias-eq-in-canonical-response.rs	765	log plain
d---------	alias-relate	114	log plain
-rw-r--r--	alias-sub.rs	839	log plain
-rw-r--r--	alias_eq_cant_be_furthur_normalized.rs	579	log plain
-rw-r--r--	alias_eq_dont_use_normalizes_to_if_substs_eq.rs	1032	log plain
-rw-r--r--	alias_eq_simple.rs	341	log plain
-rw-r--r--	alias_eq_substs_eq_not_intercrate.rs	438	log plain
-rw-r--r--	alias_eq_substs_eq_not_intercrate.stderr	691	log plain
-rw-r--r--	array-default.rs	145	log plain
d---------	assembly	204	log plain
-rw-r--r--	async.fail.stderr	607	log plain
-rw-r--r--	async.rs	319	log plain
-rw-r--r--	auto-with-drop_tracking_mir.fail.stderr	700	log plain
-rw-r--r--	auto-with-drop_tracking_mir.rs	494	log plain
-rw-r--r--	borrowck-error.rs	200	log plain
-rw-r--r--	borrowck-error.stderr	373	log plain
-rw-r--r--	builtin-fn-must-return-sized.rs	349	log plain
-rw-r--r--	builtin-fn-must-return-sized.stderr	611	log plain
-rw-r--r--	canonical-int-var-eq-in-response.rs	344	log plain
-rw-r--r--	canonical-ty-var-eq-in-response.rs	1016	log plain
-rw-r--r--	canonicalize-effect-var.rs	272	log plain
-rw-r--r--	cast-checks-handling-projections.rs	86	log plain
-rw-r--r--	closure-inference-guidance.rs	224	log plain
-rw-r--r--	closure-signature-inference-2.rs	661	log plain
-rw-r--r--	closure-signature-inference.rs	190	log plain
-rw-r--r--	closure-substs-ambiguity.rs	142	log plain
-rw-r--r--	coerce-ambig-alias-to-rigid-alias.rs	316	log plain
d---------	coherence	430	log plain
-rw-r--r--	const-param-placeholder.fail.stderr	571	log plain
-rw-r--r--	const-param-placeholder.rs	399	log plain
-rw-r--r--	coroutine.fail.stderr	2130	log plain
-rw-r--r--	coroutine.rs	608	log plain
d---------	cycles	878	log plain
-rw-r--r--	deduce-closure-signature-after-normalization.rs	147	log plain
-rw-r--r--	deduce-ty-from-object.rs	133	log plain
-rw-r--r--	dedup-regions.rs	428	log plain
-rw-r--r--	destruct.rs	177	log plain
-rw-r--r--	dont-coerce-infer-to-dyn.rs	350	log plain
-rw-r--r--	dont-elaborate-for-projections.rs	225	log plain
-rw-r--r--	dont-ice-on-assoc-projection.rs	503	log plain
-rw-r--r--	dont-ice-on-assoc-projection.stderr	889	log plain
-rw-r--r--	dont-loop-fulfill-on-region-constraints.rs	860	log plain
-rw-r--r--	dont-normalize-proj-with-error.rs	517	log plain
-rw-r--r--	dont-normalize-proj-with-error.stderr	327	log plain
-rw-r--r--	dont-remap-tait-substs.rs	461	log plain
-rw-r--r--	dont-type_of-tait-in-defining-scope.not_send.stderr	538	log plain
-rw-r--r--	dont-type_of-tait-in-defining-scope.rs	413	log plain
-rw-r--r--	dyn-any-dont-prefer-impl.rs	371	log plain
-rw-r--r--	elaborate-item-bounds.rs	127	log plain
-rw-r--r--	equating-projection-cyclically.rs	595	log plain
-rw-r--r--	escaping-bound-vars-in-writeback-normalization.rs	508	log plain
-rw-r--r--	float-canonical.rs	101	log plain
-rw-r--r--	fn-trait-closure.rs	136	log plain
-rw-r--r--	fn-trait.rs	1045	log plain
-rw-r--r--	fn-trait.stderr	4954	log plain
d---------	generalize	326	log plain
-rw-r--r--	higher-ranked-dyn-bounds.rs	297	log plain
-rw-r--r--	int-var-alias-eq.rs	356	log plain
-rw-r--r--	int-var-is-send.rs	112	log plain
-rw-r--r--	issue-118950-root-region.rs	556	log plain
-rw-r--r--	issue-118950-root-region.stderr	3696	log plain
-rw-r--r--	iter-filter-projection.rs	219	log plain
-rw-r--r--	lazy-nested-obligations-1.rs	236	log plain
-rw-r--r--	lazy-nested-obligations-2.rs	322	log plain
-rw-r--r--	lazy-nested-obligations-3.rs	642	log plain
-rw-r--r--	member-constraints-in-root-universe.rs	361	log plain
-rw-r--r--	more-object-bound.rs	505	log plain
-rw-r--r--	more-object-bound.stderr	931	log plain
-rw-r--r--	negative-coherence-bounds.rs	1259	log plain
-rw-r--r--	negative-coherence-bounds.stderr	502	log plain
-rw-r--r--	nested-alias-bound.rs	205	log plain
-rw-r--r--	nested-obligations-with-bound-vars-gat.rs	548	log plain
-rw-r--r--	normalize-async-closure-in-trait.rs	113	log plain
-rw-r--r--	normalize-param-env-1.rs	458	log plain
-rw-r--r--	normalize-param-env-2.rs	286	log plain
-rw-r--r--	normalize-param-env-3.rs	424	log plain
-rw-r--r--	normalize-rcvr-for-inherent.rs	361	log plain
-rw-r--r--	normalize-unsize-rhs.rs	335	log plain
-rw-r--r--	normalized-const-built-in-op.rs	247	log plain
-rw-r--r--	normalizes_to_ignores_unnormalizable_candidate.rs	949	log plain
-rw-r--r--	normalizes_to_ignores_unnormalizable_candidate.self_infer.stderr	768	log plain
-rw-r--r--	object-soundness-requires-generalization.rs	689	log plain
-rw-r--r--	object-unsafety.rs	837	log plain
-rw-r--r--	object-unsafety.stderr	2545	log plain
-rw-r--r--	opportunistic-region-resolve.rs	324	log plain
d---------	overflow	654	log plain
-rw-r--r--	param-candidate-doesnt-shadow-project.rs	506	log plain
-rw-r--r--	param-discr-kind.rs	113	log plain
-rw-r--r--	pointee.rs	462	log plain
-rw-r--r--	pointer-like.rs	272	log plain
-rw-r--r--	pointer-like.stderr	767	log plain
-rw-r--r--	prefer-candidate-no-constraints.rs	616	log plain
-rw-r--r--	prefer-param-env-on-ambiguity.rs	164	log plain
-rw-r--r--	projection-discr-kind.rs	406	log plain
-rw-r--r--	projection-discr-kind.stderr	809	log plain
d---------	projection	116	log plain
-rw-r--r--	slice-match-byte-lit.rs	147	log plain
-rw-r--r--	specialization-transmute.rs	607	log plain
-rw-r--r--	specialization-transmute.stderr	1130	log plain
-rw-r--r--	specialization-unconstrained.rs	503	log plain
-rw-r--r--	specialization-unconstrained.stderr	1300	log plain
-rw-r--r--	stall-num-var-auto-trait.fallback.stderr	569	log plain
-rw-r--r--	stall-num-var-auto-trait.rs	496	log plain
-rw-r--r--	structural-resolve-field.rs	189	log plain
-rw-r--r--	tait-eq-proj-2.rs	447	log plain
-rw-r--r--	tait-eq-proj.rs	1046	log plain
-rw-r--r--	tait-eq-tait.rs	362	log plain
-rw-r--r--	temporary-ambiguity.rs	366	log plain
-rw-r--r--	trait-upcast-lhs-needs-normalization.rs	287	log plain
-rw-r--r--	try-example.rs	476	log plain
-rw-r--r--	two-projection-param-candidates-are-ambiguous.rs	887	log plain
-rw-r--r--	two-projection-param-candidates-are-ambiguous.stderr	590	log plain
-rw-r--r--	unevaluated-const-impl-trait-ref.fails.stderr	685	log plain
-rw-r--r--	unevaluated-const-impl-trait-ref.rs	408	log plain
-rw-r--r--	unsafe-auto-trait-impl.rs	111	log plain
-rw-r--r--	unsize-although-ambiguous.rs	378	log plain
-rw-r--r--	unsize-good.rs	436	log plain
-rw-r--r--	upcast-right-substs.rs	204	log plain
-rw-r--r--	upcast-wrong-substs.rs	194	log plain
-rw-r--r--	upcast-wrong-substs.stderr	447	log plain
-rw-r--r--	winnow-specializing-impls.rs	304	log plain