Auto merge of #86127 - JohnTitor:rollup-0c6mp3j, r=JohnTitor

Rollup of 11 pull requests

Successful merges:

 - #85906 (Use `Iterator::find` instead of open-coding it)
 - #85951 (Update the documentation of `-C force-unwind-tables` for #83482)
 - #85985 (Clarify documentation of slice sorting methods)
 - #85989 (Remove rustfmt tests from top-level .gitattributes)
 - #86074 (Default panic message should print Box<dyn Any>)
 - #86078 (Type page font weight)
 - #86090 (⬆️ rust-analyzer)
 - #86095 (Search description codeblock)
 - #86096 (Comment out unused error codes and add description for E0316)
 - #86101 (Correct type signature in doc for Bound::as_mut)
 - #86103 (Remove lifetime hack)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
This commit is contained in:
bors 2021-06-08 07:04:31 +00:00
commit a50d72158e
19 changed files with 88 additions and 60 deletions

8
.gitattributes vendored
View file

@ -16,11 +16,3 @@ config.toml.example linguist-language=TOML
*.ico binary *.ico binary
*.woff binary *.woff binary
*.woff2 binary *.woff2 binary
# Needed as part of converting rustfmt to a subtree, can hopefully be removed later.
src/tools/rustfmt/tests/source/issue-3494/crlf.rs -text
src/tools/rustfmt/tests/source/comment_crlf_newline.rs -text
src/tools/rustfmt/tests/source/configs/enum_discrim_align_threshold/40.rs -text
src/tools/rustfmt/tests/target/issue-3494/crlf.rs -text
src/tools/rustfmt/tests/target/comment_crlf_newline.rs -text
src/tools/rustfmt/tests/target/configs/enum_discrim_align_threshold/40.rs -text

View file

@ -157,6 +157,7 @@ E0308: include_str!("./error_codes/E0308.md"),
E0309: include_str!("./error_codes/E0309.md"), E0309: include_str!("./error_codes/E0309.md"),
E0310: include_str!("./error_codes/E0310.md"), E0310: include_str!("./error_codes/E0310.md"),
E0312: include_str!("./error_codes/E0312.md"), E0312: include_str!("./error_codes/E0312.md"),
E0316: include_str!("./error_codes/E0316.md"),
E0317: include_str!("./error_codes/E0317.md"), E0317: include_str!("./error_codes/E0317.md"),
E0321: include_str!("./error_codes/E0321.md"), E0321: include_str!("./error_codes/E0321.md"),
E0322: include_str!("./error_codes/E0322.md"), E0322: include_str!("./error_codes/E0322.md"),
@ -553,9 +554,8 @@ E0783: include_str!("./error_codes/E0783.md"),
E0311, // thing may not live long enough E0311, // thing may not live long enough
E0313, // lifetime of borrowed pointer outlives lifetime of captured E0313, // lifetime of borrowed pointer outlives lifetime of captured
// variable // variable
E0314, // closure outlives stack frame // E0314, // closure outlives stack frame
E0315, // cannot invoke closure outside of its lifetime // E0315, // cannot invoke closure outside of its lifetime
E0316, // nested quantification of lifetimes
// E0319, // trait impls for defaulted traits allowed just for structs/enums // E0319, // trait impls for defaulted traits allowed just for structs/enums
E0320, // recursive overflow during dropck E0320, // recursive overflow during dropck
// E0372, // coherence not object safe // E0372, // coherence not object safe
@ -584,21 +584,21 @@ E0783: include_str!("./error_codes/E0783.md"),
// E0470, removed // E0470, removed
// E0471, // constant evaluation error (in pattern) // E0471, // constant evaluation error (in pattern)
E0472, // llvm_asm! is unsupported on this target E0472, // llvm_asm! is unsupported on this target
E0473, // dereference of reference outside its lifetime // E0473, // dereference of reference outside its lifetime
E0474, // captured variable `..` does not outlive the enclosing closure // E0474, // captured variable `..` does not outlive the enclosing closure
E0475, // index of slice outside its lifetime // E0475, // index of slice outside its lifetime
E0476, // lifetime of the source pointer does not outlive lifetime bound... E0476, // lifetime of the source pointer does not outlive lifetime bound...
E0479, // the type `..` (provided as the value of a type parameter) is... // E0479, // the type `..` (provided as the value of a type parameter) is...
E0480, // lifetime of method receiver does not outlive the method call // E0480, // lifetime of method receiver does not outlive the method call
E0481, // lifetime of function argument does not outlive the function call // E0481, // lifetime of function argument does not outlive the function call
E0482, // lifetime of return value does not outlive the function call E0482, // lifetime of return value does not outlive the function call
E0483, // lifetime of operand does not outlive the operation // E0483, // lifetime of operand does not outlive the operation
E0484, // reference is not valid at the time of borrow // E0484, // reference is not valid at the time of borrow
E0485, // automatically reference is not valid at the time of borrow // E0485, // automatically reference is not valid at the time of borrow
E0486, // type of expression contains references that are not valid during.. // E0486, // type of expression contains references that are not valid during..
E0487, // unsafe use of destructor: destructor might be called while... // E0487, // unsafe use of destructor: destructor might be called while...
E0488, // lifetime of variable does not enclose its declaration // E0488, // lifetime of variable does not enclose its declaration
E0489, // type/lifetime parameter not in scope here // E0489, // type/lifetime parameter not in scope here
E0490, // a value of type `..` is borrowed for too long E0490, // a value of type `..` is borrowed for too long
E0498, // malformed plugin attribute E0498, // malformed plugin attribute
E0514, // metadata version mismatch E0514, // metadata version mismatch

View file

@ -0,0 +1,32 @@
A `where` clause contains a nested quantification over lifetimes.
Erroneous code example:
```compile_fail,E0316
trait Tr<'a, 'b> {}
fn foo<T>(t: T)
where
for<'a> &'a T: for<'b> Tr<'a, 'b>, // error: nested quantification
{
}
```
Rust syntax allows lifetime quantifications in two places within
`where` clauses: Quantifying over the trait bound only (as in
`Ty: for<'l> Trait<'l>`) and quantifying over the whole clause
(as in `for<'l> &'l Ty: Trait<'l>`). Using both in the same clause
leads to a nested lifetime quantification, which is not supported.
The following example compiles, because the clause with the nested
quantification has been rewritten to use only one `for<>`:
```
trait Tr<'a, 'b> {}
fn foo<T>(t: T)
where
for<'a, 'b> &'a T: Tr<'a, 'b>, // ok
{
}
```

View file

@ -679,16 +679,11 @@ pub fn transparent_newtype_field<'a, 'tcx>(
variant: &'a ty::VariantDef, variant: &'a ty::VariantDef,
) -> Option<&'a ty::FieldDef> { ) -> Option<&'a ty::FieldDef> {
let param_env = tcx.param_env(variant.def_id); let param_env = tcx.param_env(variant.def_id);
for field in &variant.fields { variant.fields.iter().find(|field| {
let field_ty = tcx.type_of(field.did); let field_ty = tcx.type_of(field.did);
let is_zst = tcx.layout_of(param_env.and(field_ty)).map_or(false, |layout| layout.is_zst()); let is_zst = tcx.layout_of(param_env.and(field_ty)).map_or(false, |layout| layout.is_zst());
!is_zst
if !is_zst { })
return Some(field);
}
}
None
} }
/// Is type known to be non-null? /// Is type known to be non-null?

View file

@ -1841,14 +1841,6 @@ fn object_lifetime_defaults_for_item(
} }
impl<'a, 'tcx> LifetimeContext<'a, 'tcx> { impl<'a, 'tcx> LifetimeContext<'a, 'tcx> {
// FIXME(#37666) this works around a limitation in the region inferencer
fn hack<F>(&mut self, f: F)
where
F: for<'b> FnOnce(&mut LifetimeContext<'b, 'tcx>),
{
f(self)
}
fn with<F>(&mut self, wrap_scope: Scope<'_>, f: F) fn with<F>(&mut self, wrap_scope: Scope<'_>, f: F)
where where
F: for<'b> FnOnce(ScopeRef<'_>, &mut LifetimeContext<'b, 'tcx>), F: for<'b> FnOnce(ScopeRef<'_>, &mut LifetimeContext<'b, 'tcx>),
@ -2252,7 +2244,7 @@ impl<'a, 'tcx> LifetimeContext<'a, 'tcx> {
}; };
self.with(scope, move |old_scope, this| { self.with(scope, move |old_scope, this| {
this.check_lifetime_params(old_scope, &generics.params); this.check_lifetime_params(old_scope, &generics.params);
this.hack(walk); // FIXME(#37666) workaround in place of `walk(this)` walk(this);
}); });
} }

View file

@ -686,7 +686,7 @@ impl<T> Bound<T> {
} }
} }
/// Converts from `&mut Bound<T>` to `Bound<&T>`. /// Converts from `&mut Bound<T>` to `Bound<&mut T>`.
#[inline] #[inline]
#[unstable(feature = "bound_as_ref", issue = "80996")] #[unstable(feature = "bound_as_ref", issue = "80996")]
pub fn as_mut(&mut self) -> Bound<&mut T> { pub fn as_mut(&mut self) -> Bound<&mut T> {

View file

@ -2100,9 +2100,11 @@ impl<T> [T] {
/// ///
/// If the value is found then [`Result::Ok`] is returned, containing the /// If the value is found then [`Result::Ok`] is returned, containing the
/// index of the matching element. If there are multiple matches, then any /// index of the matching element. If there are multiple matches, then any
/// one of the matches could be returned. If the value is not found then /// one of the matches could be returned. The index is chosen
/// [`Result::Err`] is returned, containing the index where a matching /// deterministically, but is subject to change in future versions of Rust.
/// element could be inserted while maintaining sorted order. /// If the value is not found then [`Result::Err`] is returned, containing
/// the index where a matching element could be inserted while maintaining
/// sorted order.
/// ///
/// See also [`binary_search_by`], [`binary_search_by_key`], and [`partition_point`]. /// See also [`binary_search_by`], [`binary_search_by_key`], and [`partition_point`].
/// ///
@ -2153,9 +2155,11 @@ impl<T> [T] {
/// ///
/// If the value is found then [`Result::Ok`] is returned, containing the /// If the value is found then [`Result::Ok`] is returned, containing the
/// index of the matching element. If there are multiple matches, then any /// index of the matching element. If there are multiple matches, then any
/// one of the matches could be returned. If the value is not found then /// one of the matches could be returned. The index is chosen
/// [`Result::Err`] is returned, containing the index where a matching /// deterministically, but is subject to change in future versions of Rust.
/// element could be inserted while maintaining sorted order. /// If the value is not found then [`Result::Err`] is returned, containing
/// the index where a matching element could be inserted while maintaining
/// sorted order.
/// ///
/// See also [`binary_search`], [`binary_search_by_key`], and [`partition_point`]. /// See also [`binary_search`], [`binary_search_by_key`], and [`partition_point`].
/// ///
@ -2224,9 +2228,11 @@ impl<T> [T] {
/// ///
/// If the value is found then [`Result::Ok`] is returned, containing the /// If the value is found then [`Result::Ok`] is returned, containing the
/// index of the matching element. If there are multiple matches, then any /// index of the matching element. If there are multiple matches, then any
/// one of the matches could be returned. If the value is not found then /// one of the matches could be returned. The index is chosen
/// [`Result::Err`] is returned, containing the index where a matching /// deterministically, but is subject to change in future versions of Rust.
/// element could be inserted while maintaining sorted order. /// If the value is not found then [`Result::Err`] is returned, containing
/// the index where a matching element could be inserted while maintaining
/// sorted order.
/// ///
/// See also [`binary_search`], [`binary_search_by`], and [`partition_point`]. /// See also [`binary_search`], [`binary_search_by`], and [`partition_point`].
/// ///

View file

@ -193,7 +193,7 @@ fn default_hook(info: &PanicInfo<'_>) {
Some(s) => *s, Some(s) => *s,
None => match info.payload().downcast_ref::<String>() { None => match info.payload().downcast_ref::<String>() {
Some(s) => &s[..], Some(s) => &s[..],
None => "Box<Any>", None => "Box<dyn Any>",
}, },
}; };
let thread = thread_info::current_thread(); let thread = thread_info::current_thread();

View file

@ -149,8 +149,7 @@ values:
* `y`, `yes`, `on`, or no value: Unwind tables are forced to be generated. * `y`, `yes`, `on`, or no value: Unwind tables are forced to be generated.
* `n`, `no`, or `off`: Unwind tables are not forced to be generated. If unwind * `n`, `no`, or `off`: Unwind tables are not forced to be generated. If unwind
tables are required by the target or `-C panic=unwind`, an error will be tables are required by the target an error will be emitted.
emitted.
The default if not specified depends on the target. The default if not specified depends on the target.

View file

@ -138,7 +138,7 @@ h2, h3, h4 {
border-bottom: 1px solid; border-bottom: 1px solid;
} }
.impl, .method, .impl, .method,
.type, .associatedconstant, .type:not(.container-rustdoc), .associatedconstant,
.associatedtype { .associatedtype {
flex-basis: 100%; flex-basis: 100%;
font-weight: 600; font-weight: 600;

View file

@ -1024,7 +1024,7 @@ window.initSearch = function(rawSearchIndex) {
var description = document.createElement("div"); var description = document.createElement("div");
description.className = "desc"; description.className = "desc";
var spanDesc = document.createElement("span"); var spanDesc = document.createElement("span");
spanDesc.innerText = item.desc + "\u00A0"; spanDesc.insertAdjacentHTML("beforeend", item.desc);
description.appendChild(spanDesc); description.appendChild(spanDesc);
wrapper.appendChild(description); wrapper.appendChild(description);

View file

@ -0,0 +1,5 @@
// This test is to ensure that the codeblocks are correctly rendered in the search results.
goto: file://|DOC_PATH|/test_docs/index.html?search=some_more_function
// Waiting for the search results to appear...
wait-for: "#titles"
assert: (".search-results .desc code", "format!")

View file

@ -11,7 +11,8 @@ assert: (".sidebar-elems > .items > ul > li:nth-child(2)", "Structs")
assert: (".sidebar-elems > .items > ul > li:nth-child(3)", "Enums") assert: (".sidebar-elems > .items > ul > li:nth-child(3)", "Enums")
assert: (".sidebar-elems > .items > ul > li:nth-child(4)", "Traits") assert: (".sidebar-elems > .items > ul > li:nth-child(4)", "Traits")
assert: (".sidebar-elems > .items > ul > li:nth-child(5)", "Functions") assert: (".sidebar-elems > .items > ul > li:nth-child(5)", "Functions")
assert: (".sidebar-elems > .items > ul > li:nth-child(6)", "Keywords") assert: (".sidebar-elems > .items > ul > li:nth-child(6)", "Type Definitions")
assert: (".sidebar-elems > .items > ul > li:nth-child(7)", "Keywords")
assert: ("#structs + table td > a", "Foo") assert: ("#structs + table td > a", "Foo")
click: "#structs + table td > a" click: "#structs + table td > a"

View file

@ -96,3 +96,6 @@ pub enum AnEnum {
#[doc(keyword = "CookieMonster")] #[doc(keyword = "CookieMonster")]
pub mod keyword {} pub mod keyword {}
/// Just some type alias.
pub type SomeType = u32;

View file

@ -0,0 +1,2 @@
goto: file://|DOC_PATH|/test_docs/type.SomeType.html
assert-all: (".top-block .docblock p", {"font-weight": "400"})

View file

@ -1,5 +1,5 @@
// run-fail // run-fail
// error-pattern:panicked at 'Box<Any>' // error-pattern:panicked at 'Box<dyn Any>'
// ignore-emscripten no processes // ignore-emscripten no processes
#![allow(non_fmt_panic)] #![allow(non_fmt_panic)]

View file

@ -1,5 +1,5 @@
// run-fail // run-fail
// error-pattern:panicked at 'Box<Any>' // error-pattern:panicked at 'Box<dyn Any>'
// ignore-emscripten no processes // ignore-emscripten no processes
#![feature(box_syntax)] #![feature(box_syntax)]

View file

@ -6,3 +6,4 @@ LL | where for<'a> &'a T: for<'b> Bar<'b>
error: aborting due to previous error error: aborting due to previous error
For more information about this error, try `rustc --explain E0316`.

@ -1 +1 @@
Subproject commit f4383981249d3f2964f2c667f3349f8ff15b77c4 Subproject commit 13da28cc2bc1b59f7af817eca36927a71edb023c