2022-10-12 |
Michael Goulet | Add broken test for AFIT with RPITIT
|
commit | commitdiff | tree |
2022-10-12 |
Michael Goulet | TyAlias needs encoded constness too, for layout computation...
|
commit | commitdiff | tree |
2022-10-12 |
Michael Goulet | Unify tcx.constness and param env constness checks
|
commit | commitdiff | tree |
2022-10-11 |
Michael Goulet | Fix let removal suggestion in struct
|
commit | commitdiff | tree |
2022-10-10 |
Michael Goulet | Point out incompatible closure bounds
|
commit | commitdiff | tree |
2022-10-10 |
Michael Goulet | Rename AssocItemKind::TyAlias to AssocItemKind::Type
|
commit | commitdiff | tree |
2022-10-09 |
Michael Goulet | Remove unnecessary lift calls from rustdoc
|
commit | commitdiff | tree |
2022-10-09 |
Michael Goulet | Don't use unnormalized type in Ty::fn_sig
|
commit | commitdiff | tree |
2022-10-09 |
Michael Goulet | ImplItemKind::TyAlias => ImplItemKind::Type
|
commit | commitdiff | tree |
2022-10-07 |
Michael Goulet | Remove tuple candidate, nothing special about it
|
commit | commitdiff | tree |
2022-10-07 |
Michael Goulet | Check WhereClauseReferencesSelf after all other object...
|
commit | commitdiff | tree |
2022-10-05 |
Michael Goulet | Use proper subdiagnostic
|
commit | commitdiff | tree |
2022-10-05 |
Michael Goulet | Fix opaque_hidden_inferred_bound lint ICE
|
commit | commitdiff | tree |
2022-10-05 |
Michael Goulet | Update compiler/rustc_hir_analysis/src/check/callee.rs
|
commit | commitdiff | tree |
2022-10-05 |
Michael Goulet | Suggest calling method if fn does not exist
|
commit | commitdiff | tree |
2022-10-05 |
Michael Goulet | Delay function resolution error until typeck
|
commit | commitdiff | tree |
2022-10-05 |
Michael Goulet | Validate opaques in default trait bodies, don't normalize...
|
commit | commitdiff | tree |
2022-10-05 |
Michael Goulet | Bless tests
|
commit | commitdiff | tree |
2022-10-05 |
Michael Goulet | Fix test for default body with impl
|
commit | commitdiff | tree |
2022-10-05 |
Michael Goulet | Suggest `.into()` when all other coercion suggestions...
|
commit | commitdiff | tree |
2022-10-05 |
Michael Goulet | Support default-body trait functions with RPITIT
|
commit | commitdiff | tree |
2022-10-04 |
Michael Goulet | We are able to resolve methods even if they need subst
|
commit | commitdiff | tree |
2022-10-04 |
Michael Goulet | Normalize substs before resolving instance in NoopMethodCall...
|
commit | commitdiff | tree |
2022-10-02 |
Michael Goulet | Avoid ICE in printing RPITIT type
|
commit | commitdiff | tree |
2022-10-02 |
Michael Goulet | Add example to opaque_hidden_inferred_bound lint
|
commit | commitdiff | tree |
2022-10-02 |
Michael Goulet | Make it a lint for all opaque types
|
commit | commitdiff | tree |
2022-10-02 |
Michael Goulet | Lint for unsatisfied nested opaques
|
commit | commitdiff | tree |
2022-10-02 |
Michael Goulet | Don't ICE when trying to copy unsized value in const...
|
commit | commitdiff | tree |
2022-10-02 |
Michael Goulet | Delay evaluating lint primary message until after it...
|
commit | commitdiff | tree |
2022-10-02 |
Michael Goulet | Add a known-bug test for #102498
|
commit | commitdiff | tree |
2022-09-30 |
Michael Goulet | Remove expr_parentheses_needed from ParseSess
|
commit | commitdiff | tree |
2022-09-29 |
Michael Goulet | Don't lower assoc bindings just to deny them
|
commit | commitdiff | tree |
2022-09-29 |
Michael Goulet | Generate synthetic impl region even in closure body...
|
commit | commitdiff | tree |
2022-09-29 |
Michael Goulet | Check generic argument compatibility when projecting...
|
commit | commitdiff | tree |
2022-09-27 |
Michael Goulet | Use already resolved self_ty in confirm_fn_pointer_candidate
|
commit | commitdiff | tree |
2022-09-27 |
Michael Goulet | Support bindings with anon consts in generics
|
commit | commitdiff | tree |
2022-09-27 |
Michael Goulet | Make type_of work correctly for const arg bindings
|
commit | commitdiff | tree |
2022-09-27 |
Michael Goulet | Format type_of
|
commit | commitdiff | tree |
2022-09-27 |
Michael Goulet | Deny associated type bindings within associated type...
|
commit | commitdiff | tree |
2022-09-27 |
Michael Goulet | Structured suggestion for missing mut/const in pointer
|
commit | commitdiff | tree |
2022-09-25 |
Michael Goulet | Only lower async fn body if it actually has a body
|
commit | commitdiff | tree |
2022-09-25 |
Michael Goulet | Only generate closure def id for async fns with body
|
commit | commitdiff | tree |
2022-09-25 |
Michael Goulet | Recover some items that expect braces and don't take...
|
commit | commitdiff | tree |
2022-09-24 |
Michael Goulet | Add test
|
commit | commitdiff | tree |
2022-09-24 |
Michael Goulet | Only record extra lifetime params for async trait fn...
|
commit | commitdiff | tree |
2022-09-24 |
Michael Goulet | Resolve async fn signature even without body (in trait)
|
commit | commitdiff | tree |
2022-09-23 |
Michael Goulet | Serialize RPITIT values in libs
|
commit | commitdiff | tree |
2022-09-22 |
Michael Goulet | Calculate ProjectionTy::trait_def_id correctly
|
commit | commitdiff | tree |
2022-09-22 |
Michael Goulet | Normalize generator interior type before erasing
|
commit | commitdiff | tree |
2022-09-22 |
Michael Goulet | Comment, and bail early if bound vars list differs
|
commit | commitdiff | tree |
2022-09-22 |
Michael Goulet | Optimize subtyping and equation of GeneratorWitness
|
commit | commitdiff | tree |
2022-09-22 |
Michael Goulet | Normalize opaques with escaping bound vars
|
commit | commitdiff | tree |
2022-09-20 |
Michael Goulet | Skip Equate relation in handle_opaque_type
|
commit | commitdiff | tree |
2022-09-20 |
Michael Goulet | Better binder treatment
|
commit | commitdiff | tree |
2022-09-15 |
Michael Goulet | Normalize struct types in confirm_builtin_unsize_candidate
|
commit | commitdiff | tree |
2022-09-14 |
Michael Goulet | cache collect_trait_impl_trait_tys
|
commit | commitdiff | tree |
2022-09-13 |
Michael Goulet | Don't render inline suggestions of only spaces
|
commit | commitdiff | tree |
2022-09-12 |
Michael Goulet | Make dyn-trait-method work
|
commit | commitdiff | tree |
2022-09-12 |
Michael Goulet | Rename some variants
|
commit | commitdiff | tree |
2022-09-12 |
Michael Goulet | Construct dyn* during const interp
|
commit | commitdiff | tree |
2022-09-12 |
Michael Goulet | Use principal of cast target as dyn-star trait ref...
|
commit | commitdiff | tree |
2022-09-12 |
Michael Goulet | Don't trim substitution if it's only whitespace
|
commit | commitdiff | tree |
2022-09-12 |
Michael Goulet | A SubstitutionPart is not a deletion if it replaces...
|
commit | commitdiff | tree |
2022-09-12 |
Michael Goulet | Normalize closure signature after construction
|
commit | commitdiff | tree |
2022-09-12 |
Michael Goulet | fn pointers don't implement Fn/FnMut/FnOnce traits...
|
commit | commitdiff | tree |
2022-09-12 |
Michael Goulet | Fix ICE in opt_suggest_box_span
|
commit | commitdiff | tree |
2022-09-12 |
Michael Goulet | No more ret_type_span
|
commit | commitdiff | tree |
2022-09-11 |
Michael Goulet | Only encode RPITIT when trait method has default body
|
commit | commitdiff | tree |
2022-09-11 |
Michael Goulet | Deny RPITIT for object safety
|
commit | commitdiff | tree |
2022-09-11 |
Michael Goulet | Check that the types in RPITITs are WF
|
commit | commitdiff | tree |
2022-09-10 |
Michael Goulet | split compare_predicate_entailment and collect_trait_impl_tr...
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Be careful about expr_ty_adjusted when noting block...
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Equate fn outputs when inferring RPITIT hidden types
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Appease clippy again
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Fix documentation lint failures
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Adjust pretty printing of RPITITs
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Rebase fallout
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Appease clippy again
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Tweak feature error, add test
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Deeply check that method signatures match, and allow...
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Make clippy happy
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Bless tests, fix ICE with ImplTraitPlaceholder
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Address nits
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Address rebase issues, make async fn in trait work
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Make async fn in traits work
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Make clippy happy
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Add tests
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Check that impl types actually satisfy RPITIT bounds
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Rustdoc support
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Implement projection for ImplTraitPlaceholder
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | Lower RPITIT to ImplTraitPlaceholder item
|
commit | commitdiff | tree |
2022-09-09 |
Michael Goulet | RPITIT placeholder items
|
commit | commitdiff | tree |
2022-09-08 |
Michael Goulet | Rollup merge of #101587 - BoxyUwU:term_debug, r=compiler...
|
commit | commitdiff | tree |
2022-09-08 |
Michael Goulet | Rollup merge of #101584 - notriddle:notriddle/settings...
|
commit | commitdiff | tree |
2022-09-08 |
Michael Goulet | Rollup merge of #101580 - notriddle:notriddle/div-impl...
|
commit | commitdiff | tree |
2022-09-08 |
Michael Goulet | Rollup merge of #101554 - notriddle:notriddle/implemenation...
|
commit | commitdiff | tree |
2022-09-08 |
Michael Goulet | Rollup merge of #101530 - krasimirgg:llvm-16-up, r...
|
commit | commitdiff | tree |
2022-09-08 |
Michael Goulet | Rollup merge of #101499 - spastorino:add-lowering-arena...
|
commit | commitdiff | tree |
2022-09-08 |
Michael Goulet | Rollup merge of #101423 - mkroening:hermit-warnings...
|
commit | commitdiff | tree |
2022-09-08 |
Michael Goulet | We can print futures with {integer} too
|
commit | commitdiff | tree |
next |