about summary refs log tree commit diff
path: root/tests/ui/impl-trait/in-trait
AgeCommit message (Expand)AuthorLines
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
2023-09-02Do not require associated types with Self: Sized to uphold bounds when confir...Michael Goulet-1/+17
2023-09-02RPITITs are considered object-safe, they're always on Self:Sized methodsMichael Goulet-18/+29
2023-08-30Capture lifetimes for associated type bounds destined to be lowered to opaquesMichael Goulet-0/+19
2023-08-28Auto merge of #115326 - matthiaskrgr:rollup-qsoa8ar, r=matthiaskrgrbors-1/+0
2023-08-28Revert "Suggest using `Arc` on `!Send`/`!Sync` types"David Tolnay-1/+0
2023-08-28Better error message for object type with GATMichael Goulet-6/+12
2023-08-28Test variances of opaque capturesMichael Goulet-0/+46
2023-08-28Bless testsMichael Goulet-9/+32
2023-08-28RPITITs capture all their lifetimesMichael Goulet-58/+20
2023-08-09Suggest using `Arc` on `!Send`/`!Sync` typesEsteban Kuber-0/+1
2023-08-08Remove dangling testsMichael Goulet-800/+0
2023-08-08Install bidirectional outlives predicates for RPITITs (and RPITs) correctlyMichael Goulet-0/+11
2023-08-02Rollup merge of #114301 - compiler-errors:dont-error-on-missing-region-outliv...Matthias Krüger-0/+35
2023-08-01Suppress unnecessary outlivesMichael Goulet-18/+2
2023-07-31Don't check unnecessarily that impl trait is RPITMichael Goulet-0/+51
2023-07-31Rollup merge of #114267 - compiler-errors:rpitit-opaque-bounds, r=spastorinoMatthias Krüger-25/+1
2023-07-30Don't install default projection bound for RPITITsMichael Goulet-0/+26
2023-07-30Remap explicit item bounds of RPITIT's opaque back to ty::OpaqueMichael Goulet-25/+1
2023-07-29some nits, bless testMichael Goulet-16/+2
2023-07-29Implement assumed_wf_types for RPITITs' implementationsMichael Goulet-0/+29
2023-07-29Take RPITITs inherit the assumed_wf_types of their parent fnMichael Goulet-4/+0
2023-07-28Rollup merge of #114147 - compiler-errors:missing-rpitits, r=spastorinoMatthias Krüger-0/+27
2023-07-27Add additional testMichael Goulet-0/+44
2023-07-27Insert RPITITs that were shadowed by missing ADTs that resolve to type errorMichael Goulet-0/+27