Auto merge of #52655 - kennytm:rollup, r=kennytm

Rollup of 10 pull requests

Successful merges:

 - #52538 (Remove obsolete flags in the i586_musl Dockerfile)
 - #52548 (Cursor: update docs to clarify Cursor only works with in-memory buffers)
 - #52605 (Do not suggest using `to_owned()` on `&str += &str`)
 - #52621 (Fix color detection for Windows msys terminals.)
 - #52622 (Use MultiSpan in E0707 and E709)
 - #52627 (Compile rustc before building tests for rustdoc)
 - #52637 (Don't use NonNull::dangling as sentinel value in Rc, Arc)
 - #52640 (Forget Waker when cloning LocalWaker)
 - #52641 (Simplify 2 functions in rustc_mir/dataflow)
 - #52642 (Replace a few expect+format combos with unwrap_or_else+panic)

Failed merges:

r? @ghost
This commit is contained in:
bors 2018-07-24 03:01:11 +00:00
commit baba5007bf
19 changed files with 95 additions and 99 deletions

View File

@ -87,7 +87,7 @@ dependencies = [
[[package]] [[package]]
name = "atty" name = "atty"
version = "0.2.10" version = "0.2.11"
source = "registry+https://github.com/rust-lang/crates.io-index" source = "registry+https://github.com/rust-lang/crates.io-index"
dependencies = [ dependencies = [
"libc 0.2.42 (registry+https://github.com/rust-lang/crates.io-index)", "libc 0.2.42 (registry+https://github.com/rust-lang/crates.io-index)",
@ -187,7 +187,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
name = "cargo" name = "cargo"
version = "0.30.0" version = "0.30.0"
dependencies = [ dependencies = [
"atty 0.2.10 (registry+https://github.com/rust-lang/crates.io-index)", "atty 0.2.11 (registry+https://github.com/rust-lang/crates.io-index)",
"bufstream 0.1.3 (registry+https://github.com/rust-lang/crates.io-index)", "bufstream 0.1.3 (registry+https://github.com/rust-lang/crates.io-index)",
"clap 2.32.0 (registry+https://github.com/rust-lang/crates.io-index)", "clap 2.32.0 (registry+https://github.com/rust-lang/crates.io-index)",
"core-foundation 0.6.1 (registry+https://github.com/rust-lang/crates.io-index)", "core-foundation 0.6.1 (registry+https://github.com/rust-lang/crates.io-index)",
@ -303,7 +303,7 @@ version = "2.32.0"
source = "registry+https://github.com/rust-lang/crates.io-index" source = "registry+https://github.com/rust-lang/crates.io-index"
dependencies = [ dependencies = [
"ansi_term 0.11.0 (registry+https://github.com/rust-lang/crates.io-index)", "ansi_term 0.11.0 (registry+https://github.com/rust-lang/crates.io-index)",
"atty 0.2.10 (registry+https://github.com/rust-lang/crates.io-index)", "atty 0.2.11 (registry+https://github.com/rust-lang/crates.io-index)",
"bitflags 1.0.3 (registry+https://github.com/rust-lang/crates.io-index)", "bitflags 1.0.3 (registry+https://github.com/rust-lang/crates.io-index)",
"strsim 0.7.0 (registry+https://github.com/rust-lang/crates.io-index)", "strsim 0.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
"textwrap 0.10.0 (registry+https://github.com/rust-lang/crates.io-index)", "textwrap 0.10.0 (registry+https://github.com/rust-lang/crates.io-index)",
@ -622,7 +622,7 @@ name = "env_logger"
version = "0.5.10" version = "0.5.10"
source = "registry+https://github.com/rust-lang/crates.io-index" source = "registry+https://github.com/rust-lang/crates.io-index"
dependencies = [ dependencies = [
"atty 0.2.10 (registry+https://github.com/rust-lang/crates.io-index)", "atty 0.2.11 (registry+https://github.com/rust-lang/crates.io-index)",
"humantime 1.1.1 (registry+https://github.com/rust-lang/crates.io-index)", "humantime 1.1.1 (registry+https://github.com/rust-lang/crates.io-index)",
"log 0.4.3 (registry+https://github.com/rust-lang/crates.io-index)", "log 0.4.3 (registry+https://github.com/rust-lang/crates.io-index)",
"regex 1.0.1 (registry+https://github.com/rust-lang/crates.io-index)", "regex 1.0.1 (registry+https://github.com/rust-lang/crates.io-index)",
@ -1844,7 +1844,7 @@ name = "rustc-ap-rustc_errors"
version = "182.0.0" version = "182.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index" source = "registry+https://github.com/rust-lang/crates.io-index"
dependencies = [ dependencies = [
"atty 0.2.10 (registry+https://github.com/rust-lang/crates.io-index)", "atty 0.2.11 (registry+https://github.com/rust-lang/crates.io-index)",
"rustc-ap-rustc_data_structures 182.0.0 (registry+https://github.com/rust-lang/crates.io-index)", "rustc-ap-rustc_data_structures 182.0.0 (registry+https://github.com/rust-lang/crates.io-index)",
"rustc-ap-serialize 182.0.0 (registry+https://github.com/rust-lang/crates.io-index)", "rustc-ap-serialize 182.0.0 (registry+https://github.com/rust-lang/crates.io-index)",
"rustc-ap-syntax_pos 182.0.0 (registry+https://github.com/rust-lang/crates.io-index)", "rustc-ap-syntax_pos 182.0.0 (registry+https://github.com/rust-lang/crates.io-index)",
@ -2097,7 +2097,7 @@ dependencies = [
name = "rustc_errors" name = "rustc_errors"
version = "0.0.0" version = "0.0.0"
dependencies = [ dependencies = [
"atty 0.2.10 (registry+https://github.com/rust-lang/crates.io-index)", "atty 0.2.11 (registry+https://github.com/rust-lang/crates.io-index)",
"rustc_data_structures 0.0.0", "rustc_data_structures 0.0.0",
"serialize 0.0.0", "serialize 0.0.0",
"syntax_pos 0.0.0", "syntax_pos 0.0.0",
@ -3056,7 +3056,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
"checksum ansi_term 0.11.0 (registry+https://github.com/rust-lang/crates.io-index)" = "ee49baf6cb617b853aa8d93bf420db2383fab46d314482ca2803b40d5fde979b" "checksum ansi_term 0.11.0 (registry+https://github.com/rust-lang/crates.io-index)" = "ee49baf6cb617b853aa8d93bf420db2383fab46d314482ca2803b40d5fde979b"
"checksum arrayvec 0.4.7 (registry+https://github.com/rust-lang/crates.io-index)" = "a1e964f9e24d588183fcb43503abda40d288c8657dfc27311516ce2f05675aef" "checksum arrayvec 0.4.7 (registry+https://github.com/rust-lang/crates.io-index)" = "a1e964f9e24d588183fcb43503abda40d288c8657dfc27311516ce2f05675aef"
"checksum assert_cli 0.6.2 (registry+https://github.com/rust-lang/crates.io-index)" = "98589b0e465a6c510d95fceebd365bb79bedece7f6e18a480897f2015f85ec51" "checksum assert_cli 0.6.2 (registry+https://github.com/rust-lang/crates.io-index)" = "98589b0e465a6c510d95fceebd365bb79bedece7f6e18a480897f2015f85ec51"
"checksum atty 0.2.10 (registry+https://github.com/rust-lang/crates.io-index)" = "2fc4a1aa4c24c0718a250f0681885c1af91419d242f29eb8f2ab28502d80dbd1" "checksum atty 0.2.11 (registry+https://github.com/rust-lang/crates.io-index)" = "9a7d5b8723950951411ee34d271d99dddcc2035a16ab25310ea2c8cfd4369652"
"checksum backtrace 0.3.9 (registry+https://github.com/rust-lang/crates.io-index)" = "89a47830402e9981c5c41223151efcced65a0510c13097c769cede7efb34782a" "checksum backtrace 0.3.9 (registry+https://github.com/rust-lang/crates.io-index)" = "89a47830402e9981c5c41223151efcced65a0510c13097c769cede7efb34782a"
"checksum backtrace-sys 0.1.23 (registry+https://github.com/rust-lang/crates.io-index)" = "bff67d0c06556c0b8e6b5f090f0eac52d950d9dfd1d35ba04e4ca3543eaf6a7e" "checksum backtrace-sys 0.1.23 (registry+https://github.com/rust-lang/crates.io-index)" = "bff67d0c06556c0b8e6b5f090f0eac52d950d9dfd1d35ba04e4ca3543eaf6a7e"
"checksum bitflags 0.7.0 (registry+https://github.com/rust-lang/crates.io-index)" = "aad18937a628ec6abcd26d1489012cc0e18c21798210f491af69ded9b881106d" "checksum bitflags 0.7.0 (registry+https://github.com/rust-lang/crates.io-index)" = "aad18937a628ec6abcd26d1489012cc0e18c21798210f491af69ded9b881106d"

View File

@ -326,7 +326,7 @@ fn main() {
let start = Instant::now(); let start = Instant::now();
let status = cmd let status = cmd
.status() .status()
.expect(&format!("\n\n failed to run {:?}", cmd)); .unwrap_or_else(|_| panic!("\n\n failed to run {:?}", cmd));
let dur = start.elapsed(); let dur = start.elapsed();
let is_test = args.iter().any(|a| a == "--test"); let is_test = args.iter().any(|a| a == "--test");
@ -346,7 +346,7 @@ fn main() {
} }
} }
let code = exec_cmd(&mut cmd).expect(&format!("\n\n failed to run {:?}", cmd)); let code = exec_cmd(&mut cmd).unwrap_or_else(|_| panic!("\n\n failed to run {:?}", cmd));
std::process::exit(code); std::process::exit(code);
} }

View File

@ -75,7 +75,7 @@ fn install_sh(
let libdir_default = PathBuf::from("lib"); let libdir_default = PathBuf::from("lib");
let mandir_default = datadir_default.join("man"); let mandir_default = datadir_default.join("man");
let prefix = builder.config.prefix.as_ref().map_or(prefix_default, |p| { let prefix = builder.config.prefix.as_ref().map_or(prefix_default, |p| {
fs::canonicalize(p).expect(&format!("could not canonicalize {}", p.display())) fs::canonicalize(p).unwrap_or_else(|_| panic!("could not canonicalize {}", p.display()))
}); });
let sysconfdir = builder.config.sysconfdir.as_ref().unwrap_or(&sysconfdir_default); let sysconfdir = builder.config.sysconfdir.as_ref().unwrap_or(&sysconfdir_default);
let datadir = builder.config.datadir.as_ref().unwrap_or(&datadir_default); let datadir = builder.config.datadir.as_ref().unwrap_or(&datadir_default);

View File

@ -1732,6 +1732,7 @@ impl Step for CrateRustdoc {
let compiler = builder.compiler(builder.top_stage, self.host); let compiler = builder.compiler(builder.top_stage, self.host);
let target = compiler.host; let target = compiler.host;
builder.ensure(compile::Rustc { compiler, target });
let mut cargo = tool::prepare_tool_cargo(builder, let mut cargo = tool::prepare_tool_cargo(builder,
compiler, compiler,

View File

@ -42,9 +42,7 @@ ENV RUST_CONFIGURE_ARGS \
# See: https://github.com/rust-lang/rust/issues/34978 # See: https://github.com/rust-lang/rust/issues/34978
ENV CFLAGS_i686_unknown_linux_musl=-Wa,-mrelax-relocations=no ENV CFLAGS_i686_unknown_linux_musl=-Wa,-mrelax-relocations=no
ENV CFLAGS_i586_unknown_linux_gnu=-Wa,-mrelax-relocations=no ENV CFLAGS_i586_unknown_linux_gnu=-Wa,-mrelax-relocations=no
# FIXME remove -Wl,-melf_i386 after cc is updated to include ENV CFLAGS_i586_unknown_linux_musl=-Wa,-mrelax-relocations=no
# https://github.com/alexcrichton/cc-rs/pull/281
ENV CFLAGS_i586_unknown_linux_musl="-Wa,-mrelax-relocations=no -Wl,-melf_i386"
ENV TARGETS=i586-unknown-linux-gnu,i686-unknown-linux-musl ENV TARGETS=i586-unknown-linux-gnu,i686-unknown-linux-musl

View File

@ -258,6 +258,7 @@ use core::ops::Deref;
use core::ops::CoerceUnsized; use core::ops::CoerceUnsized;
use core::ptr::{self, NonNull}; use core::ptr::{self, NonNull};
use core::convert::From; use core::convert::From;
use core::usize;
use alloc::{Global, Alloc, Layout, box_free, handle_alloc_error}; use alloc::{Global, Alloc, Layout, box_free, handle_alloc_error};
use string::String; use string::String;
@ -449,6 +450,8 @@ impl<T: ?Sized> Rc<T> {
#[stable(feature = "rc_weak", since = "1.4.0")] #[stable(feature = "rc_weak", since = "1.4.0")]
pub fn downgrade(this: &Self) -> Weak<T> { pub fn downgrade(this: &Self) -> Weak<T> {
this.inc_weak(); this.inc_weak();
// Make sure we do not create a dangling Weak
debug_assert!(!is_dangling(this.ptr));
Weak { ptr: this.ptr } Weak { ptr: this.ptr }
} }
@ -1154,8 +1157,9 @@ impl<T> From<Vec<T>> for Rc<[T]> {
pub struct Weak<T: ?Sized> { pub struct Weak<T: ?Sized> {
// This is a `NonNull` to allow optimizing the size of this type in enums, // This is a `NonNull` to allow optimizing the size of this type in enums,
// but it is not necessarily a valid pointer. // but it is not necessarily a valid pointer.
// `Weak::new` sets this to a dangling pointer so that it doesnt need // `Weak::new` sets this to `usize::MAX` so that it doesnt need
// to allocate space on the heap. // to allocate space on the heap. That's not a value a real pointer
// will ever have because RcBox has alignment at least 2.
ptr: NonNull<RcBox<T>>, ptr: NonNull<RcBox<T>>,
} }
@ -1185,15 +1189,14 @@ impl<T> Weak<T> {
#[stable(feature = "downgraded_weak", since = "1.10.0")] #[stable(feature = "downgraded_weak", since = "1.10.0")]
pub fn new() -> Weak<T> { pub fn new() -> Weak<T> {
Weak { Weak {
ptr: NonNull::dangling(), ptr: NonNull::new(usize::MAX as *mut RcBox<T>).expect("MAX is not 0"),
} }
} }
} }
pub(crate) fn is_dangling<T: ?Sized>(ptr: NonNull<T>) -> bool { pub(crate) fn is_dangling<T: ?Sized>(ptr: NonNull<T>) -> bool {
let address = ptr.as_ptr() as *mut () as usize; let address = ptr.as_ptr() as *mut () as usize;
let align = align_of_val(unsafe { ptr.as_ref() }); address == usize::MAX
address == align
} }
impl<T: ?Sized> Weak<T> { impl<T: ?Sized> Weak<T> {

View File

@ -238,8 +238,9 @@ impl<T: ?Sized + Unsize<U>, U: ?Sized> CoerceUnsized<Arc<U>> for Arc<T> {}
pub struct Weak<T: ?Sized> { pub struct Weak<T: ?Sized> {
// This is a `NonNull` to allow optimizing the size of this type in enums, // This is a `NonNull` to allow optimizing the size of this type in enums,
// but it is not necessarily a valid pointer. // but it is not necessarily a valid pointer.
// `Weak::new` sets this to a dangling pointer so that it doesnt need // `Weak::new` sets this to `usize::MAX` so that it doesnt need
// to allocate space on the heap. // to allocate space on the heap. That's not a value a real pointer
// will ever have because RcBox has alignment at least 2.
ptr: NonNull<ArcInner<T>>, ptr: NonNull<ArcInner<T>>,
} }
@ -442,7 +443,11 @@ impl<T: ?Sized> Arc<T> {
// synchronize with the write coming from `is_unique`, so that the // synchronize with the write coming from `is_unique`, so that the
// events prior to that write happen before this read. // events prior to that write happen before this read.
match this.inner().weak.compare_exchange_weak(cur, cur + 1, Acquire, Relaxed) { match this.inner().weak.compare_exchange_weak(cur, cur + 1, Acquire, Relaxed) {
Ok(_) => return Weak { ptr: this.ptr }, Ok(_) => {
// Make sure we do not create a dangling Weak
debug_assert!(!is_dangling(this.ptr));
return Weak { ptr: this.ptr };
}
Err(old) => cur = old, Err(old) => cur = old,
} }
} }
@ -1033,7 +1038,7 @@ impl<T> Weak<T> {
#[stable(feature = "downgraded_weak", since = "1.10.0")] #[stable(feature = "downgraded_weak", since = "1.10.0")]
pub fn new() -> Weak<T> { pub fn new() -> Weak<T> {
Weak { Weak {
ptr: NonNull::dangling(), ptr: NonNull::new(usize::MAX as *mut ArcInner<T>).expect("MAX is not 0"),
} }
} }
} }

View File

@ -12,7 +12,7 @@
reason = "futures in libcore are unstable", reason = "futures in libcore are unstable",
issue = "50547")] issue = "50547")]
use fmt; use {fmt, mem};
use marker::Unpin; use marker::Unpin;
use ptr::NonNull; use ptr::NonNull;
@ -166,9 +166,10 @@ impl From<LocalWaker> for Waker {
impl Clone for LocalWaker { impl Clone for LocalWaker {
#[inline] #[inline]
fn clone(&self) -> Self { fn clone(&self) -> Self {
unsafe { let waker = unsafe { self.inner.as_ref().clone_raw() };
LocalWaker { inner: self.inner.as_ref().clone_raw().inner } let inner = waker.inner;
} mem::forget(waker);
LocalWaker { inner }
} }
} }

View File

@ -73,7 +73,7 @@ use syntax::tokenstream::{Delimited, TokenStream, TokenTree};
use syntax::parse::token::Token; use syntax::parse::token::Token;
use syntax::util::small_vector::SmallVector; use syntax::util::small_vector::SmallVector;
use syntax::visit::{self, Visitor}; use syntax::visit::{self, Visitor};
use syntax_pos::Span; use syntax_pos::{Span, MultiSpan};
const HIR_ID_COUNTER_LOCKED: u32 = 0xFFFFFFFF; const HIR_ID_COUNTER_LOCKED: u32 = 0xFFFFFFFF;
@ -2071,7 +2071,7 @@ impl<'a> LoweringContext<'a> {
if current_lt_name != name { if current_lt_name != name {
struct_span_err!( struct_span_err!(
self.context.sess, self.context.sess,
current_lt_span.between(lifetime.span), MultiSpan::from_spans(vec![current_lt_span, lifetime.span]),
E0709, E0709,
"multiple different lifetimes used in arguments of `async fn`", "multiple different lifetimes used in arguments of `async fn`",
) )
@ -2083,7 +2083,7 @@ impl<'a> LoweringContext<'a> {
} else if current_lt_name.is_elided() && name.is_elided() { } else if current_lt_name.is_elided() && name.is_elided() {
struct_span_err!( struct_span_err!(
self.context.sess, self.context.sess,
current_lt_span.between(lifetime.span), MultiSpan::from_spans(vec![current_lt_span, lifetime.span]),
E0707, E0707,
"multiple elided lifetimes used in arguments of `async fn`", "multiple elided lifetimes used in arguments of `async fn`",
) )

View File

@ -114,8 +114,8 @@ fn get_rpath_relative_to_output(config: &mut RPathConfig, lib: &Path) -> String
let mut output = cwd.join(&config.out_filename); let mut output = cwd.join(&config.out_filename);
output.pop(); output.pop();
let output = fs::canonicalize(&output).unwrap_or(output); let output = fs::canonicalize(&output).unwrap_or(output);
let relative = path_relative_from(&lib, &output) let relative = path_relative_from(&lib, &output).unwrap_or_else(||
.expect(&format!("couldn't create relative path from {:?} to {:?}", output, lib)); panic!("couldn't create relative path from {:?} to {:?}", output, lib));
// FIXME (#9639): This needs to handle non-utf8 paths // FIXME (#9639): This needs to handle non-utf8 paths
format!("{}/{}", prefix, format!("{}/{}", prefix,
relative.to_str().expect("non-utf8 component in path")) relative.to_str().expect("non-utf8 component in path"))

View File

@ -1277,7 +1277,7 @@ pub fn provide(providers: &mut Providers) {
all.iter() all.iter()
.find(|cgu| *cgu.name() == name) .find(|cgu| *cgu.name() == name)
.cloned() .cloned()
.expect(&format!("failed to find cgu with name {:?}", name)) .unwrap_or_else(|| panic!("failed to find cgu with name {:?}", name))
}; };
providers.compile_codegen_unit = compile_codegen_unit; providers.compile_codegen_unit = compile_codegen_unit;

View File

@ -73,8 +73,8 @@ pub type Node = BasicBlock;
pub struct Edge { source: BasicBlock, index: usize } pub struct Edge { source: BasicBlock, index: usize }
fn outgoing(mir: &Mir, bb: BasicBlock) -> Vec<Edge> { fn outgoing(mir: &Mir, bb: BasicBlock) -> Vec<Edge> {
mir[bb].terminator().successors().enumerate() (0..mir[bb].terminator().successors().count())
.map(|(index, _)| Edge { source: bb, index: index}).collect() .map(|index| Edge { source: bb, index: index}).collect()
} }
impl<'a, 'tcx, MWF, P> dot::Labeller<'a> for Graph<'a, 'tcx, MWF, P> impl<'a, 'tcx, MWF, P> dot::Labeller<'a> for Graph<'a, 'tcx, MWF, P>

View File

@ -441,11 +441,6 @@ pub struct DataflowState<O: BitDenotation>
} }
impl<O: BitDenotation> DataflowState<O> { impl<O: BitDenotation> DataflowState<O> {
pub fn each_bit<F>(&self, words: &IdxSet<O::Idx>, f: F) where F: FnMut(O::Idx)
{
words.iter().for_each(f)
}
pub(crate) fn interpret_set<'c, P>(&self, pub(crate) fn interpret_set<'c, P>(&self,
o: &'c O, o: &'c O,
words: &IdxSet<O::Idx>, words: &IdxSet<O::Idx>,
@ -453,11 +448,7 @@ impl<O: BitDenotation> DataflowState<O> {
-> Vec<DebugFormatted> -> Vec<DebugFormatted>
where P: Fn(&O, O::Idx) -> DebugFormatted where P: Fn(&O, O::Idx) -> DebugFormatted
{ {
let mut v = Vec::new(); words.iter().map(|i| render_idx(o, i)).collect()
self.each_bit(words, |i| {
v.push(render_idx(o, i));
});
v
} }
} }

View File

@ -307,9 +307,9 @@ impl<'a, 'gcx, 'tcx> FnCtxt<'a, 'gcx, 'tcx> {
if let Some(missing_trait) = missing_trait { if let Some(missing_trait) = missing_trait {
if op.node == hir::BinOpKind::Add && if op.node == hir::BinOpKind::Add &&
self.check_str_addition(expr, lhs_expr, rhs_expr, lhs_ty, self.check_str_addition(expr, lhs_expr, rhs_expr, lhs_ty,
rhs_ty, &mut err) { rhs_ty, &mut err, true) {
// This has nothing here because it means we did string // This has nothing here because it means we did string
// concatenation (e.g. "Hello " + "World!"). This means // concatenation (e.g. "Hello " += "World!"). This means
// we don't want the note in the else clause to be emitted // we don't want the note in the else clause to be emitted
} else if let ty::TyParam(_) = lhs_ty.sty { } else if let ty::TyParam(_) = lhs_ty.sty {
// FIXME: point to span of param // FIXME: point to span of param
@ -381,7 +381,7 @@ impl<'a, 'gcx, 'tcx> FnCtxt<'a, 'gcx, 'tcx> {
if let Some(missing_trait) = missing_trait { if let Some(missing_trait) = missing_trait {
if op.node == hir::BinOpKind::Add && if op.node == hir::BinOpKind::Add &&
self.check_str_addition(expr, lhs_expr, rhs_expr, lhs_ty, self.check_str_addition(expr, lhs_expr, rhs_expr, lhs_ty,
rhs_ty, &mut err) { rhs_ty, &mut err, false) {
// This has nothing here because it means we did string // This has nothing here because it means we did string
// concatenation (e.g. "Hello " + "World!"). This means // concatenation (e.g. "Hello " + "World!"). This means
// we don't want the note in the else clause to be emitted // we don't want the note in the else clause to be emitted
@ -410,13 +410,16 @@ impl<'a, 'gcx, 'tcx> FnCtxt<'a, 'gcx, 'tcx> {
(lhs_ty, rhs_ty, return_ty) (lhs_ty, rhs_ty, return_ty)
} }
fn check_str_addition(&self, fn check_str_addition(
&self,
expr: &'gcx hir::Expr, expr: &'gcx hir::Expr,
lhs_expr: &'gcx hir::Expr, lhs_expr: &'gcx hir::Expr,
rhs_expr: &'gcx hir::Expr, rhs_expr: &'gcx hir::Expr,
lhs_ty: Ty<'tcx>, lhs_ty: Ty<'tcx>,
rhs_ty: Ty<'tcx>, rhs_ty: Ty<'tcx>,
err: &mut errors::DiagnosticBuilder) -> bool { err: &mut errors::DiagnosticBuilder,
is_assign: bool,
) -> bool {
let codemap = self.tcx.sess.codemap(); let codemap = self.tcx.sess.codemap();
let msg = "`to_owned()` can be used to create an owned `String` \ let msg = "`to_owned()` can be used to create an owned `String` \
from a string reference. String concatenation \ from a string reference. String concatenation \
@ -428,6 +431,7 @@ impl<'a, 'gcx, 'tcx> FnCtxt<'a, 'gcx, 'tcx> {
match (&lhs_ty.sty, &rhs_ty.sty) { match (&lhs_ty.sty, &rhs_ty.sty) {
(&TyRef(_, l_ty, _), &TyRef(_, r_ty, _)) (&TyRef(_, l_ty, _), &TyRef(_, r_ty, _))
if l_ty.sty == TyStr && r_ty.sty == TyStr => { if l_ty.sty == TyStr && r_ty.sty == TyStr => {
if !is_assign {
err.span_label(expr.span, err.span_label(expr.span,
"`+` can't be used to concatenate two `&str` strings"); "`+` can't be used to concatenate two `&str` strings");
match codemap.span_to_snippet(lhs_expr.span) { match codemap.span_to_snippet(lhs_expr.span) {
@ -436,26 +440,27 @@ impl<'a, 'gcx, 'tcx> FnCtxt<'a, 'gcx, 'tcx> {
format!("{}.to_owned()", lstring)), format!("{}.to_owned()", lstring)),
_ => err.help(msg), _ => err.help(msg),
}; };
}
true true
} }
(&TyRef(_, l_ty, _), &TyAdt(..)) (&TyRef(_, l_ty, _), &TyAdt(..))
if l_ty.sty == TyStr && &format!("{:?}", rhs_ty) == "std::string::String" => { if l_ty.sty == TyStr && &format!("{:?}", rhs_ty) == "std::string::String" => {
err.span_label(expr.span, err.span_label(expr.span,
"`+` can't be used to concatenate a `&str` with a `String`"); "`+` can't be used to concatenate a `&str` with a `String`");
match codemap.span_to_snippet(lhs_expr.span) { match (
Ok(lstring) => err.span_suggestion(lhs_expr.span, codemap.span_to_snippet(lhs_expr.span),
msg, codemap.span_to_snippet(rhs_expr.span),
format!("{}.to_owned()", lstring)), is_assign,
_ => err.help(msg), ) {
}; (Ok(l), Ok(r), false) => {
match codemap.span_to_snippet(rhs_expr.span) { err.multipart_suggestion(msg, vec![
Ok(rstring) => { (lhs_expr.span, format!("{}.to_owned()", l)),
err.span_suggestion(rhs_expr.span, (rhs_expr.span, format!("&{}", r)),
"you also need to borrow the `String` on the right to \ ]);
get a `&str`", }
format!("&{}", rstring)); _ => {
err.help(msg);
} }
_ => {}
}; };
true true
} }

View File

@ -14,12 +14,13 @@ use core::convert::TryInto;
use cmp; use cmp;
use io::{self, Initializer, SeekFrom, Error, ErrorKind}; use io::{self, Initializer, SeekFrom, Error, ErrorKind};
/// A `Cursor` wraps another type and provides it with a /// A `Cursor` wraps an in-memory buffer and provides it with a
/// [`Seek`] implementation. /// [`Seek`] implementation.
/// ///
/// `Cursor`s are typically used with in-memory buffers to allow them to /// `Cursor`s are used with in-memory buffers, anything implementing
/// implement [`Read`] and/or [`Write`], allowing these buffers to be used /// `AsRef<[u8]>`, to allow them to implement [`Read`] and/or [`Write`],
/// anywhere you might use a reader or writer that does actual I/O. /// allowing these buffers to be used anywhere you might use a reader or writer
/// that does actual I/O.
/// ///
/// The standard library implements some I/O traits on various types which /// The standard library implements some I/O traits on various types which
/// are commonly used as a buffer, like `Cursor<`[`Vec`]`<u8>>` and /// are commonly used as a buffer, like `Cursor<`[`Vec`]`<u8>>` and
@ -87,11 +88,11 @@ pub struct Cursor<T> {
} }
impl<T> Cursor<T> { impl<T> Cursor<T> {
/// Creates a new cursor wrapping the provided underlying I/O object. /// Creates a new cursor wrapping the provided underlying in-memory buffer.
/// ///
/// Cursor initial position is `0` even if underlying object (e. /// Cursor initial position is `0` even if underlying buffer (e.g. `Vec`)
/// g. `Vec`) is not empty. So writing to cursor starts with /// is not empty. So writing to cursor starts with overwriting `Vec`
/// overwriting `Vec` content, not with appending to it. /// content, not with appending to it.
/// ///
/// # Examples /// # Examples
/// ///

View File

@ -232,11 +232,11 @@ pub mod printf {
impl Num { impl Num {
fn from_str(s: &str, arg: Option<&str>) -> Self { fn from_str(s: &str, arg: Option<&str>) -> Self {
if let Some(arg) = arg { if let Some(arg) = arg {
Num::Arg(arg.parse().expect(&format!("invalid format arg `{:?}`", arg))) Num::Arg(arg.parse().unwrap_or_else(|_| panic!("invalid format arg `{:?}`", arg)))
} else if s == "*" { } else if s == "*" {
Num::Next Num::Next
} else { } else {
Num::Num(s.parse().expect(&format!("invalid format num `{:?}`", s))) Num::Num(s.parse().unwrap_or_else(|_| panic!("invalid format num `{:?}`", s)))
} }
} }

View File

@ -1,8 +1,8 @@
error[E0709]: multiple different lifetimes used in arguments of `async fn` error[E0709]: multiple different lifetimes used in arguments of `async fn`
--> $DIR/async-fn-multiple-lifetimes.rs:17:49 --> $DIR/async-fn-multiple-lifetimes.rs:17:47
| |
LL | async fn multiple_named_lifetimes<'a, 'b>(_: &'a u8, _: &'b u8) {} LL | async fn multiple_named_lifetimes<'a, 'b>(_: &'a u8, _: &'b u8) {}
| --^^^^^^^^^-- different lifetime here | ^^ ^^ different lifetime here
| | | |
| first lifetime here | first lifetime here
| |
@ -12,7 +12,7 @@ error[E0707]: multiple elided lifetimes used in arguments of `async fn`
--> $DIR/async-fn-multiple-lifetimes.rs:26:39 --> $DIR/async-fn-multiple-lifetimes.rs:26:39
| |
LL | async fn multiple_elided_lifetimes(_: &u8, _: &u8) {} LL | async fn multiple_elided_lifetimes(_: &u8, _: &u8) {}
| -^^^^^^^- different lifetime here | ^ ^ different lifetime here
| | | |
| first lifetime here | first lifetime here
| |

View File

@ -5,11 +5,6 @@ LL | a += { "b" };
| -^^^^^^^^^^^ | -^^^^^^^^^^^
| | | |
| cannot use `+=` on type `&str` | cannot use `+=` on type `&str`
| `+` can't be used to concatenate two `&str` strings
help: `to_owned()` can be used to create an owned `String` from a string reference. String concatenation appends the string on the right to the string on the left and may require reallocation. This requires ownership of the string on the left
|
LL | a.to_owned() += { "b" };
| ^^^^^^^^^^^^
error: aborting due to previous error error: aborting due to previous error

View File

@ -23,12 +23,8 @@ LL | let x = "Hello " + "World!".to_owned();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `+` can't be used to concatenate a `&str` with a `String` | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `+` can't be used to concatenate a `&str` with a `String`
help: `to_owned()` can be used to create an owned `String` from a string reference. String concatenation appends the string on the right to the string on the left and may require reallocation. This requires ownership of the string on the left help: `to_owned()` can be used to create an owned `String` from a string reference. String concatenation appends the string on the right to the string on the left and may require reallocation. This requires ownership of the string on the left
| |
LL | let x = "Hello ".to_owned() + "World!".to_owned(); LL | let x = "Hello ".to_owned() + &"World!".to_owned();
| ^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^
help: you also need to borrow the `String` on the right to get a `&str`
|
LL | let x = "Hello " + &"World!".to_owned();
| ^^^^^^^^^^^^^^^^^^^^
error: aborting due to 3 previous errors error: aborting due to 3 previous errors