Rollup merge of #71303 - tshepang:master, r=Mark-Simulacrum
remove build warnings Code blocks that are not annotated are assumed to be Rust
This commit is contained in:
commit
f6fb931d4f
7 changed files with 17 additions and 15 deletions
|
@ -148,7 +148,7 @@ impl<'tcx> MirBorrowckCtxt<'_, 'tcx> {
|
||||||
///
|
///
|
||||||
/// This function would create a label like this:
|
/// This function would create a label like this:
|
||||||
///
|
///
|
||||||
/// ```
|
/// ```text
|
||||||
/// | fn foo(x: &u32) { .. }
|
/// | fn foo(x: &u32) { .. }
|
||||||
/// ------- fully elaborated type of `x` is `&'1 u32`
|
/// ------- fully elaborated type of `x` is `&'1 u32`
|
||||||
/// ```
|
/// ```
|
||||||
|
@ -300,7 +300,7 @@ impl<'tcx> MirBorrowckCtxt<'_, 'tcx> {
|
||||||
/// elaborated type, returning something like `'1`. Result looks
|
/// elaborated type, returning something like `'1`. Result looks
|
||||||
/// like:
|
/// like:
|
||||||
///
|
///
|
||||||
/// ```
|
/// ```text
|
||||||
/// | fn foo(x: &u32) { .. }
|
/// | fn foo(x: &u32) { .. }
|
||||||
/// ------- fully elaborated type of `x` is `&'1 u32`
|
/// ------- fully elaborated type of `x` is `&'1 u32`
|
||||||
/// ```
|
/// ```
|
||||||
|
@ -347,7 +347,7 @@ impl<'tcx> MirBorrowckCtxt<'_, 'tcx> {
|
||||||
/// that has no type annotation.
|
/// that has no type annotation.
|
||||||
/// For example, we might produce an annotation like this:
|
/// For example, we might produce an annotation like this:
|
||||||
///
|
///
|
||||||
/// ```
|
/// ```text
|
||||||
/// | foo(|a, b| b)
|
/// | foo(|a, b| b)
|
||||||
/// | - -
|
/// | - -
|
||||||
/// | | |
|
/// | | |
|
||||||
|
@ -396,7 +396,7 @@ impl<'tcx> MirBorrowckCtxt<'_, 'tcx> {
|
||||||
/// that contains the anonymous reference we want to give a name
|
/// that contains the anonymous reference we want to give a name
|
||||||
/// to. For example, we might produce an annotation like this:
|
/// to. For example, we might produce an annotation like this:
|
||||||
///
|
///
|
||||||
/// ```
|
/// ```text
|
||||||
/// | fn a<T>(items: &[T]) -> Box<dyn Iterator<Item = &T>> {
|
/// | fn a<T>(items: &[T]) -> Box<dyn Iterator<Item = &T>> {
|
||||||
/// | - let's call the lifetime of this reference `'1`
|
/// | - let's call the lifetime of this reference `'1`
|
||||||
/// ```
|
/// ```
|
||||||
|
@ -600,7 +600,7 @@ impl<'tcx> MirBorrowckCtxt<'_, 'tcx> {
|
||||||
/// fully elaborated type, returning something like `'1`. Result
|
/// fully elaborated type, returning something like `'1`. Result
|
||||||
/// looks like:
|
/// looks like:
|
||||||
///
|
///
|
||||||
/// ```
|
/// ```text
|
||||||
/// | let x = Some(&22);
|
/// | let x = Some(&22);
|
||||||
/// - fully elaborated type of `x` is `Option<&'1 u32>`
|
/// - fully elaborated type of `x` is `Option<&'1 u32>`
|
||||||
/// ```
|
/// ```
|
||||||
|
|
|
@ -579,11 +579,13 @@ impl<'a> Parser<'a> {
|
||||||
/// Keep in mind that given that `outer_op.is_comparison()` holds and comparison ops are left
|
/// Keep in mind that given that `outer_op.is_comparison()` holds and comparison ops are left
|
||||||
/// associative we can infer that we have:
|
/// associative we can infer that we have:
|
||||||
///
|
///
|
||||||
|
/// ```text
|
||||||
/// outer_op
|
/// outer_op
|
||||||
/// / \
|
/// / \
|
||||||
/// inner_op r2
|
/// inner_op r2
|
||||||
/// / \
|
/// / \
|
||||||
/// l1 r1
|
/// l1 r1
|
||||||
|
/// ```
|
||||||
pub(super) fn check_no_chained_comparison(
|
pub(super) fn check_no_chained_comparison(
|
||||||
&mut self,
|
&mut self,
|
||||||
inner_op: &Expr,
|
inner_op: &Expr,
|
||||||
|
|
|
@ -8,7 +8,7 @@ use rustc_span::symbol::{kw, sym};
|
||||||
impl<'a> Parser<'a> {
|
impl<'a> Parser<'a> {
|
||||||
/// Parses bounds of a lifetime parameter `BOUND + BOUND + BOUND`, possibly with trailing `+`.
|
/// Parses bounds of a lifetime parameter `BOUND + BOUND + BOUND`, possibly with trailing `+`.
|
||||||
///
|
///
|
||||||
/// ```
|
/// ```text
|
||||||
/// BOUND = LT_BOUND (e.g., `'a`)
|
/// BOUND = LT_BOUND (e.g., `'a`)
|
||||||
/// ```
|
/// ```
|
||||||
fn parse_lt_param_bounds(&mut self) -> GenericBounds {
|
fn parse_lt_param_bounds(&mut self) -> GenericBounds {
|
||||||
|
|
|
@ -743,7 +743,7 @@ impl<'a> Parser<'a> {
|
||||||
|
|
||||||
/// Parses a `UseTree`.
|
/// Parses a `UseTree`.
|
||||||
///
|
///
|
||||||
/// ```
|
/// ```text
|
||||||
/// USE_TREE = [`::`] `*` |
|
/// USE_TREE = [`::`] `*` |
|
||||||
/// [`::`] `{` USE_TREE_LIST `}` |
|
/// [`::`] `{` USE_TREE_LIST `}` |
|
||||||
/// PATH `::` `*` |
|
/// PATH `::` `*` |
|
||||||
|
@ -792,7 +792,7 @@ impl<'a> Parser<'a> {
|
||||||
|
|
||||||
/// Parses a `UseTreeKind::Nested(list)`.
|
/// Parses a `UseTreeKind::Nested(list)`.
|
||||||
///
|
///
|
||||||
/// ```
|
/// ```text
|
||||||
/// USE_TREE_LIST = Ø | (USE_TREE `,`)* USE_TREE [`,`]
|
/// USE_TREE_LIST = Ø | (USE_TREE `,`)* USE_TREE [`,`]
|
||||||
/// ```
|
/// ```
|
||||||
fn parse_use_tree_list(&mut self) -> PResult<'a, Vec<(UseTree, ast::NodeId)>> {
|
fn parse_use_tree_list(&mut self) -> PResult<'a, Vec<(UseTree, ast::NodeId)>> {
|
||||||
|
|
|
@ -1031,7 +1031,7 @@ impl<'a, 'b> ImportResolver<'a, 'b> {
|
||||||
|
|
||||||
/// Suggest a missing `self::` if that resolves to an correct module.
|
/// Suggest a missing `self::` if that resolves to an correct module.
|
||||||
///
|
///
|
||||||
/// ```
|
/// ```text
|
||||||
/// |
|
/// |
|
||||||
/// LL | use foo::Bar;
|
/// LL | use foo::Bar;
|
||||||
/// | ^^^ did you mean `self::foo`?
|
/// | ^^^ did you mean `self::foo`?
|
||||||
|
@ -1083,7 +1083,7 @@ impl<'a, 'b> ImportResolver<'a, 'b> {
|
||||||
|
|
||||||
/// Suggests a missing `super::` if that resolves to an correct module.
|
/// Suggests a missing `super::` if that resolves to an correct module.
|
||||||
///
|
///
|
||||||
/// ```
|
/// ```text
|
||||||
/// |
|
/// |
|
||||||
/// LL | use foo::Bar;
|
/// LL | use foo::Bar;
|
||||||
/// | ^^^ did you mean `super::foo`?
|
/// | ^^^ did you mean `super::foo`?
|
||||||
|
@ -1103,7 +1103,7 @@ impl<'a, 'b> ImportResolver<'a, 'b> {
|
||||||
|
|
||||||
/// Suggests a missing external crate name if that resolves to an correct module.
|
/// Suggests a missing external crate name if that resolves to an correct module.
|
||||||
///
|
///
|
||||||
/// ```
|
/// ```text
|
||||||
/// |
|
/// |
|
||||||
/// LL | use foobar::Baz;
|
/// LL | use foobar::Baz;
|
||||||
/// | ^^^^^^ did you mean `baz::foobar`?
|
/// | ^^^^^^ did you mean `baz::foobar`?
|
||||||
|
|
|
@ -1045,7 +1045,7 @@ impl<'a, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'a, 'tcx> {
|
||||||
/// Adds an async-await specific note to the diagnostic when the future does not implement
|
/// Adds an async-await specific note to the diagnostic when the future does not implement
|
||||||
/// an auto trait because of a captured type.
|
/// an auto trait because of a captured type.
|
||||||
///
|
///
|
||||||
/// ```ignore (diagnostic)
|
/// ```text
|
||||||
/// note: future does not implement `Qux` as this value is used across an await
|
/// note: future does not implement `Qux` as this value is used across an await
|
||||||
/// --> $DIR/issue-64130-3-other.rs:17:5
|
/// --> $DIR/issue-64130-3-other.rs:17:5
|
||||||
/// |
|
/// |
|
||||||
|
@ -1060,7 +1060,7 @@ impl<'a, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'a, 'tcx> {
|
||||||
/// When the diagnostic does not implement `Send` or `Sync` specifically, then the diagnostic
|
/// When the diagnostic does not implement `Send` or `Sync` specifically, then the diagnostic
|
||||||
/// is "replaced" with a different message and a more specific error.
|
/// is "replaced" with a different message and a more specific error.
|
||||||
///
|
///
|
||||||
/// ```ignore (diagnostic)
|
/// ```text
|
||||||
/// error: future cannot be sent between threads safely
|
/// error: future cannot be sent between threads safely
|
||||||
/// --> $DIR/issue-64130-2-send.rs:21:5
|
/// --> $DIR/issue-64130-2-send.rs:21:5
|
||||||
/// |
|
/// |
|
||||||
|
|
|
@ -1250,7 +1250,7 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o {
|
||||||
/// This helper takes a *converted* parameter type (`param_ty`)
|
/// This helper takes a *converted* parameter type (`param_ty`)
|
||||||
/// and an *unconverted* list of bounds:
|
/// and an *unconverted* list of bounds:
|
||||||
///
|
///
|
||||||
/// ```
|
/// ```text
|
||||||
/// fn foo<T: Debug>
|
/// fn foo<T: Debug>
|
||||||
/// ^ ^^^^^ `ast_bounds` parameter, in HIR form
|
/// ^ ^^^^^ `ast_bounds` parameter, in HIR form
|
||||||
/// |
|
/// |
|
||||||
|
@ -2992,7 +2992,7 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o {
|
||||||
/// representations). These lists of bounds occur in many places in
|
/// representations). These lists of bounds occur in many places in
|
||||||
/// Rust's syntax:
|
/// Rust's syntax:
|
||||||
///
|
///
|
||||||
/// ```
|
/// ```text
|
||||||
/// trait Foo: Bar + Baz { }
|
/// trait Foo: Bar + Baz { }
|
||||||
/// ^^^^^^^^^ supertrait list bounding the `Self` type parameter
|
/// ^^^^^^^^^ supertrait list bounding the `Self` type parameter
|
||||||
///
|
///
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue