Ali MJ Al-Nasrawy 10da7710cd ignore bivariant regions in opaque types

2023-03-03 14:12:05 +03:00

..

escape-argument-callee.rs

…

escape-argument-callee.stderr

…

escape-argument.rs

…

escape-argument.stderr

…

escape-upvar-nested.rs

…

escape-upvar-nested.stderr

…

escape-upvar-ref.rs

…

escape-upvar-ref.stderr

…

issue-58127-mutliple-requirements.rs

…

propagate-approximated-fail-no-postdom.rs

…

propagate-approximated-fail-no-postdom.stderr

…

propagate-approximated-ref.rs

…

propagate-approximated-ref.stderr

…

propagate-approximated-shorter-to-static-comparing-against-free.rs

…

propagate-approximated-shorter-to-static-comparing-against-free.stderr

…

propagate-approximated-shorter-to-static-no-bound.rs

…

propagate-approximated-shorter-to-static-no-bound.stderr

…

propagate-approximated-shorter-to-static-wrong-bound.rs

…

propagate-approximated-shorter-to-static-wrong-bound.stderr

…

propagate-approximated-val.rs

…

propagate-approximated-val.stderr

…

propagate-despite-same-free-region.rs

…

propagate-despite-same-free-region.stderr

…

propagate-fail-to-approximate-longer-no-bounds.rs

…

propagate-fail-to-approximate-longer-no-bounds.stderr

…

propagate-fail-to-approximate-longer-wrong-bounds.rs

…

propagate-fail-to-approximate-longer-wrong-bounds.stderr

…

propagate-from-trait-match.rs

…

propagate-from-trait-match.stderr

…

propagate-multiple-requirements.rs

…

propagate-multiple-requirements.stderr

…

region-lbr1-does-not-outlive-ebr2.rs

…

region-lbr1-does-not-outlive-ebr2.stderr

…

region-lbr1-does-outlive-lbr2-because-implied-bound.rs

…

region-lbr-anon-does-not-outlive-static.rs

…

region-lbr-anon-does-not-outlive-static.stderr

…

region-lbr-named-does-not-outlive-static.rs

…

region-lbr-named-does-not-outlive-static.stderr

…

return-wrong-bound-region.rs

…

return-wrong-bound-region.stderr

…

type-test-subject-non-trivial-region.rs

smarter algorithm for finding an equal region

2023-03-03 14:10:25 +03:00

type-test-subject-opaque-1.rs

…

type-test-subject-opaque-2.rs

ignore bivariant regions in opaque types

2023-03-03 14:12:05 +03:00

type-test-subject-unnamed-region.rs

…