about summary refs log tree commit diff
path: root/tests/ui/impl-trait/in-trait
AgeCommit message (Expand)AuthorLines
2024-03-14Consolidate WF for aliasesMichael Goulet-1/+18
2024-03-11Remove some unnecessary allow(incomplete_features)Michael Goulet-39/+15
2024-03-10Ignore tests w/ current/next revisions from compare-mode=next-solverMichael Goulet-0/+2
2024-03-08Stabilize associated type boundsMichael Goulet-2/+0
2024-03-08Don't ICE if we collect no RPITITs unless there are no unification errorsMichael Goulet-0/+85
2024-03-05Split refining_impl_trait lint into _reachable, _internal variantsTyler Mandry-7/+126
2024-03-05Uplift some feeding out of associated_type_for_impl_trait_in_impl and into qu...Michael Goulet-0/+18
2024-02-29Rollup merge of #121745 - compiler-errors:refining-impl-trait-deeply-norm, r=...Jacob Pratt-0/+20
2024-02-28Deeply normalize obligations in refining_impl_traitMichael Goulet-0/+20
2024-02-27Print RPITIT like an opaqueMichael Goulet-6/+6
2024-02-27rename RPITIT from opaque to syntheticMichael Goulet-8/+8
2024-02-24Rollup merge of #121435 - estebank:rpitit-static-119773, r=compiler-errorsMatthias Krüger-2/+28
2024-02-23Revert some `span_bug`s to `span_delayed_bug`.Nicholas Nethercote-0/+48
2024-02-22Account for RPITIT in E0310 explicit lifetime constraint suggestionEsteban Küber-2/+28
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-50/+50
2024-02-13Rollup merge of #120696 - estebank:issue-115405, r=oli-obkMatthias Krüger-0/+2
2024-02-12Properly handle `async` blocks and `fn`s in `if` exprs without `else`Esteban Küber-0/+2
2024-02-10Gracefully handle non-WF alias in assemble_alias_bound_candidates_recurMichael Goulet-0/+36
2024-02-07Update testsr0cky-1/+3
2024-02-01review comment: change wordingEsteban Küber-1/+1
2024-02-01On E0277 be clearer about implicit `Sized` bounds on type params and assoc typesEsteban Küber-4/+4
2024-01-24Deduplicate more sized errors on call exprsEsteban Küber-20/+2
2024-01-17Move `check_mod_impl_wf` query call out of track_errors and bubble errors up ...Oli Scherer-2/+26
2024-01-05Use `resolutions(()).effective_visiblities` to avoid cycle errorsMichael Goulet-0/+106
2023-12-14update use of feature flagslcnr-2/+2
2023-12-07recurse into refs when comparing tys for diagnosticsjyn-2/+2
2023-11-25Don't ICE when encountering placeholders in implied bounds computationMichael Goulet-0/+14
2023-11-24Show number in error message even for one errorNilstrieb-27/+27
2023-11-04fallback for `construct_generic_bound_failure`bohan-0/+25
2023-11-02Add all RPITITs when augmenting param-env with GAT bounds in check_type_boundsMichael Goulet-0/+11
2023-10-29On object safety error, mention new enum as alternativeEsteban Küber-0/+5
2023-10-24Remove incomplete features from RPITIT/AFIT testsMichael Goulet-37/+19
2023-10-18Tweak wording of type errors involving type paramsEsteban Küber-2/+2
2023-10-16Fix outlives suggestion for GAT in RPITITMichael Goulet-0/+41
2023-10-13Test that RPITITs have RPIT scope and not impl-wide scopeMichael Goulet-0/+38
2023-10-13Stabilize AFIT and RPITITMichael Goulet-118/+69
2023-10-11Rollup merge of #116219 - compiler-errors:relate-alias-ty-with-variance, r=lcnrMatthias Krüger-0/+14
2023-10-05Rollup merge of #116296 - compiler-errors:default-return, r=estebankJubilee-2/+2
2023-10-05Auto merge of #116273 - compiler-errors:refine2, r=tmandrybors-0/+11
2023-10-04Point to where missing return type should goMichael Goulet-2/+2
2023-10-04Relate AliasTy considering varianceMichael Goulet-0/+14
2023-10-03Bless testsMichael Goulet-3/+13
2023-09-29Only trigger refine lint on reachable traitsMichael Goulet-0/+11
2023-09-26Anonymize binders for refining_impl_trait checkMichael Goulet-0/+13
2023-09-22Need to use hybrid param-env to make sure implication is not circularMichael Goulet-0/+42
2023-09-22Use placeholders to prevent using inferred RPITIT types to imply their own WF...Michael Goulet-0/+39
2023-09-07Add noteMichael Goulet-0/+5
2023-09-07Don't emit refining_impl_trait for private itemsMichael Goulet-43/+66
2023-09-07Use self instead of the actual self tyMichael Goulet-2/+2
2023-09-07Implement refinement lint for RPITITMichael Goulet-13/+133