summary refs log tree commit diff
path: root/src/test
AgeCommit message (Collapse)AuthorLines
2019-01-11Rollup merge of #57483 - petrochenkov:beta, r=pietroalbiniPietro Albini-287/+177
2019-01-11use the correct supertrait substitution in `object_ty_for_trait`Ariel Ben-Yehuda-0/+23
Fixes #57156.
2019-01-10Fix rebaseVadim Petrochenkov-43/+27
2019-01-10Fix a hole in generic parameter import future-proofingVadim Petrochenkov-7/+42
Add some tests for buggy derive helpers
2019-01-10Stabilize `uniform_paths`Vadim Petrochenkov-220/+39
2019-01-10resolve: Prohibit use of imported tool modulesVadim Petrochenkov-6/+44
2019-01-10resolve: Prohibit use of imported non-macro attributesVadim Petrochenkov-4/+23
2019-01-10resolve: Prohibit use of uniform paths in macros originating from 2015 editionVadim Petrochenkov-1/+1
...while still keeping ambiguity errors future-proofing for uniform paths. This corner case is not going to be stabilized for 1.32 and needs some more general experiments about retrofitting 2018 import rules to 2015 edition
2019-01-10resolve: Assign `pub` and `pub(crate)` visibilities to `macro_rules` itemsVadim Petrochenkov-39/+13
2019-01-10resolve: Fix an ICE in import validationVadim Petrochenkov-0/+33
2019-01-10resolve: Avoid "self-confirming" resolutions in import validationVadim Petrochenkov-15/+3
2019-01-04Call poly_project_and_unify_type on types that contain inference typesAaron Hill-0/+34
Commit f57247c48cb59 (Ensure that Rusdoc discovers all necessary auto trait bounds) added a check to ensure that we only attempt to unify a projection predicatre with inference variables. However, the check it added was too strict - instead of checking that a type *contains* an inference variable (e.g. '&_', 'MyType<_>'), it required the type to *be* an inference variable (i.e. only '_' would match). This commit relaxes the check to use 'ty.has_infer_types', ensuring that we perform unification wherever possible. Fixes #56822
2019-01-04Fix Tidy errorAaron Hill-1/+1
2019-01-04Filter out self-referential projection predicatesAaron Hill-0/+40
If we end up with a projection predicate that equates a type with itself (e.g. <T as MyType>::Value == <T as MyType>::Value), we can run into issues if we try to add it to our ParamEnv.
2019-01-04Ensure that Rusdoc discovers all necessary auto trait boundsAaron Hill-0/+31
Fixes #50159 This commit makes several improvements to AutoTraitFinder: * Call infcx.resolve_type_vars_if_possible before processing new predicates. This ensures that we eliminate inference variables wherever possible. * Process all nested obligations we get from a vtable, not just ones with depth=1. * The 'depth=1' check was a hack to work around issues processing certain predicates. The other changes in this commit allow us to properly process all predicates that we encounter, so the check is no longer necessary, * Ensure that we only display predicates *without* inference variables to the user, and only attempt to unify predicates that *have* an inference variable as their type. Additionally, the internal helper method is_of_param now operates directly on a type, rather than taking a Substs. This allows us to use the 'self_ty' method, rather than directly dealing with Substs.
2019-01-04Wf-check the output type of a function in MIR-typeckMatthew Jasper-0/+38
2019-01-04resolve: Never override real bindings with `Def::Err`s from error recoveryVadim Petrochenkov-26/+29
2019-01-04resolve: Fix another ICE in import validationVadim Petrochenkov-0/+12
2019-01-03Fix alignment for array indexingNikita Popov-0/+80
We need to reduce the alignment with the used offset. If the offset isn't known, we need to reduce with the element size to support arbitrary offsets.
2019-01-01fix test outputPietro Albini-10/+2
2018-12-31Corrected expected test err messages.Alexander Regueiro-10/+10
2018-12-31Added test for issue #56835.Alexander Regueiro-0/+25
2018-12-31Fixed issue #56199.Alexander Regueiro-0/+53
2018-12-31improve tests as suggested by review commentsAriel Ben-Yehuda-2/+92
2018-12-31fix trait objects with a Self-having projection vaAriel Ben-Yehuda-0/+57
This follows ALT2 in the issue. Fixes #56288.
2018-12-31Update tests to changes on masterOliver Scherer-2/+10
2018-12-31Also test projectionsOliver Scherer-1/+18
2018-12-31Fix a recently introduces regressionOliver Scherer-5/+43
2018-12-31Remove a wrong multiplier on relocation offset computationOliver Scherer-0/+9
2018-12-17Normalize type before deferred sizedness checking.Masaki Hara-0/+11
2018-12-04Auto merge of #56486 - matthewjasper:propagate-all-closure-bounds, r=pnkfelixbors-0/+42
Propagate all closure requirements to the caller Closes #56477 This should be backported to 1.32 if it doesn't make the cut. r? @pnkfelix cc @nikomatsakis
2018-12-04Auto merge of #56244 - oli-obk:loud_ui_errors, r=nikomatsakisbors-333/+432
Report failing tests without `//~ ERROR` comments r? @nikomatsakis
2018-12-04Update doc-ui testsOliver Scherer-5/+11
2018-12-04Update ui testsOliver Scherer-28/+29
2018-12-04Remove unused stderr fileOliver Scherer-49/+0
2018-12-04Newlines.... newlines everywhereOliver Scherer-1/+1
2018-12-04Add a test ensuring that we don't regress thisOliver Scherer-0/+6
2018-12-04Update testsOliver Scherer-252/+387
2018-12-04Auto merge of #55707 - GuillaumeGomez:file-sidebar, r=QuietMisdreavusbors-0/+15
Add source file sidebar This is just a start currently but that gives a good overview of what it'll look like: <img width="1440" alt="screenshot 2018-11-06 at 01 39 15" src="https://user-images.githubusercontent.com/3050060/48035592-05336180-e165-11e8-82e1-5ead0c345eb9.png"> r? @QuietMisdreavus
2018-12-04Auto merge of #55682 - GuillaumeGomez:primitive-sidebar-link-gen, ↵bors-0/+23
r=QuietMisdreavus Fixes primitive sidebar link generation Fixes #50746. Fixes #55656. r? @QuietMisdreavus
2018-12-03Propagate all closure requirements to the callerMatthew Jasper-0/+42
2018-12-03Auto merge of #56451 - kennytm:rollup, r=kennytmbors-71/+29
Rollup of 13 pull requests Successful merges: - #56141 ([std] Osstr len clarity) - #56366 (Stabilize self_in_typedefs feature) - #56395 (Stabilize dbg!(...)) - #56401 (Move VecDeque::resize_with out of the impl<T:Clone> block) - #56402 (Improve the unstable book example for #[marker] trait) - #56412 (Update tracking issue for `extern_crate_self`) - #56416 (Remove unneeded body class selector) - #56418 (Fix failing tidy (line endings on Windows)) - #56419 (Remove some uses of try!) - #56432 (Update issue number of `shrink_to` methods to point the tracking issue) - #56433 (Add description about `crate` for parse_visibility's comment) - #56435 (make the C part of compiler-builtins opt-out) - #56438 (Remove not used `DotEq` token) Failed merges: r? @ghost
2018-12-03Auto merge of #55010 - tromey:Bug-9224-generic-parameters, r=michaelwoeristerbors-6/+44
Add template parameter debuginfo to generic types This changes debuginfo generation to add template parameters to generic types. With this change the DWARF now has DW_TAG_template_type_param for types, not just for functions, like: <2><40d>: Abbrev Number: 6 (DW_TAG_structure_type) <40e> DW_AT_name : (indirect string, offset: 0x375): Generic<i32> <412> DW_AT_byte_size : 4 <413> DW_AT_alignment : 4 ... <3><41f>: Abbrev Number: 8 (DW_TAG_template_type_param) <420> DW_AT_type : <0x42a> <424> DW_AT_name : (indirect string, offset: 0xa65e): T Closes #9224
2018-12-03Rollup merge of #56412 - petrochenkov:extself, r=Centrilkennytm-1/+1
Update tracking issue for `extern_crate_self`
2018-12-03Rollup merge of #56395 - Centril:stabilize-dbg-macro, r=SimonSapinkennytm-34/+12
Stabilize dbg!(...) Per FCP in https://github.com/rust-lang/rust/issues/54306 (which is ~1 day from completion). r? @SimonSapin The PR is fairly isolated so a rollup should probably work.
2018-12-03Rollup merge of #56366 - alexreg:stabilise-self_in_typedefs, r=Centrilkennytm-36/+16
Stabilize self_in_typedefs feature [**Tracking Issue**](https://github.com/rust-lang/rust/issues/49303) r? @centril
2018-12-03Auto merge of #56358 - nikic:mergefunc-aliases, r=rkruppebors-5/+8
Enable -mergefunc-use-aliases If the Rust LLVM fork is used, enable the -mergefunc-use-aliases flag, which will create aliases for merged functions, rather than inserting a call from one to the other. A number of codegen tests needed to be adjusted, because functions that previously fell below the thunk limit are now being merged. Merging is prevented in various ways now. I expect that this is going to break something, somewhere, because it isn't able to deal with aliases properly, but we won't find out until we try :) This fixes #52651. r? @rkruppe
2018-12-02Auto merge of #56110 - varkor:inhabitedness-union-enum, r=cramertjbors-37/+82
Consider references and unions potentially inhabited during privacy-respecting inhabitedness checks It isn't settled exactly how references to uninhabited types and unions of uninhabited types should act, but we should be more conservative here, as it's likely it will be permitted to soundly have values of such types. This will also be more important in light of the changes at https://github.com/rust-lang/rust/pull/54125. cc @RalfJung
2018-12-02Auto merge of #56396 - dlrobertson:fix_va_list_tests, r=nikicbors-174/+57
tests: Simplify VaList run-make test The va_list tests were too complex and were causing some spurious test failures on Windows. Example: https://github.com/rust-lang/rust/pull/55011#issuecomment-443211097
2018-12-01Update tracking issue for `extern_crate_self`Vadim Petrochenkov-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-05 16:09:16 +0000