fix typos
This commit is contained in:
parent
8141873e6d
commit
3b4151c9f3
@ -2101,7 +2101,7 @@ impl<T: ?Sized> Unpin for Rc<T> {}
|
||||
///
|
||||
/// - This function is safe for any argument if `T` is sized, and
|
||||
/// - if `T` is unsized, the pointer must have appropriate pointer metadata
|
||||
/// aquired from the real instance that you are getting this offset for.
|
||||
/// acquired from the real instance that you are getting this offset for.
|
||||
unsafe fn data_offset<T: ?Sized>(ptr: *const T) -> isize {
|
||||
// Align the unsized value to the end of the `RcBox`.
|
||||
// Because it is ?Sized, it will always be the last field in memory.
|
||||
|
@ -2255,7 +2255,7 @@ impl<T: ?Sized> Unpin for Arc<T> {}
|
||||
///
|
||||
/// - This function is safe for any argument if `T` is sized, and
|
||||
/// - if `T` is unsized, the pointer must have appropriate pointer metadata
|
||||
/// aquired from the real instance that you are getting this offset for.
|
||||
/// acquired from the real instance that you are getting this offset for.
|
||||
unsafe fn data_offset<T: ?Sized>(ptr: *const T) -> isize {
|
||||
// Align the unsized value to the end of the `ArcInner`.
|
||||
// Because it is `?Sized`, it will always be the last field in memory.
|
||||
|
@ -37,7 +37,7 @@ fn box_clone_and_clone_from_equivalence() {
|
||||
/// This test might give a false positive in case the box realocates, but the alocator keeps the
|
||||
/// original pointer.
|
||||
///
|
||||
/// On the other hand it won't give a false negative, if it fails than the memory was definitly not
|
||||
/// On the other hand it won't give a false negative, if it fails than the memory was definitely not
|
||||
/// reused
|
||||
#[test]
|
||||
fn box_clone_from_ptr_stability() {
|
||||
|
@ -189,7 +189,7 @@ unsafe impl AllocRef for System {
|
||||
ReallocPlacement::MayMove if layout.size() == 0 => {
|
||||
let new_layout =
|
||||
// SAFETY: The new size and layout alignement guarantees
|
||||
// are transfered to the caller (they come from parameters).
|
||||
// are transferred to the caller (they come from parameters).
|
||||
//
|
||||
// See the preconditions for `Layout::from_size_align` to
|
||||
// see what must be checked.
|
||||
@ -254,7 +254,7 @@ unsafe impl AllocRef for System {
|
||||
//
|
||||
// See `GlobalAlloc::realloc` for more informations about the
|
||||
// guarantees expected by this method. `ptr`, `layout` and
|
||||
// `new_size` are parameters and the responsability for their
|
||||
// `new_size` are parameters and the responsibility for their
|
||||
// correctness is left to the caller.
|
||||
//
|
||||
// `realloc` probably checks for `new_size < size` or something
|
||||
|
@ -1363,7 +1363,7 @@ mod self_upper_keyword {}
|
||||
///
|
||||
/// let r1 = &FOO as *const _;
|
||||
/// let r2 = &FOO as *const _;
|
||||
/// // With a strictly read-only static, references will have the same adress
|
||||
/// // With a strictly read-only static, references will have the same address
|
||||
/// assert_eq!(r1, r2);
|
||||
/// // A static item can be used just like a variable in many cases
|
||||
/// println!("{:?}", FOO);
|
||||
|
@ -81,7 +81,7 @@
|
||||
// see the changes to drop the `Waiter` struct correctly.
|
||||
// * There is one place where the two atomics `Once.state_and_queue` and
|
||||
// `Waiter.signaled` come together, and might be reordered by the compiler or
|
||||
// processor. Because both use Aquire ordering such a reordering is not
|
||||
// processor. Because both use Acquire ordering such a reordering is not
|
||||
// allowed, so no need for SeqCst.
|
||||
|
||||
use crate::cell::Cell;
|
||||
|
@ -166,7 +166,7 @@ impl<'infcx, 'tcx> InferCtxt<'infcx, 'tcx> {
|
||||
return self.unify_const_variable(!a_is_expected, vid, a);
|
||||
}
|
||||
(ty::ConstKind::Unevaluated(..), _) if self.tcx.lazy_normalization() => {
|
||||
// FIXME(#59490): Need to remove the leak check to accomodate
|
||||
// FIXME(#59490): Need to remove the leak check to accommodate
|
||||
// escaping bound variables here.
|
||||
if !a.has_escaping_bound_vars() && !b.has_escaping_bound_vars() {
|
||||
relation.const_equate_obligation(a, b);
|
||||
@ -174,7 +174,7 @@ impl<'infcx, 'tcx> InferCtxt<'infcx, 'tcx> {
|
||||
return Ok(b);
|
||||
}
|
||||
(_, ty::ConstKind::Unevaluated(..)) if self.tcx.lazy_normalization() => {
|
||||
// FIXME(#59490): Need to remove the leak check to accomodate
|
||||
// FIXME(#59490): Need to remove the leak check to accommodate
|
||||
// escaping bound variables here.
|
||||
if !a.has_escaping_bound_vars() && !b.has_escaping_bound_vars() {
|
||||
relation.const_equate_obligation(a, b);
|
||||
|
@ -195,7 +195,7 @@ impl<'a, 'tcx> NiceRegionError<'a, 'tcx> {
|
||||
}
|
||||
}
|
||||
if let (Some(ident), true) = (override_error_code, fn_returns.is_empty()) {
|
||||
// Provide a more targetted error code and description.
|
||||
// Provide a more targeted error code and description.
|
||||
err.code(rustc_errors::error_code!(E0772));
|
||||
err.set_primary_message(&format!(
|
||||
"{} has {} but calling `{}` introduces an implicit `'static` lifetime \
|
||||
|
@ -267,7 +267,7 @@ impl<'a, 'tcx> SpecializedEncoder<Span> for EncodeContext<'a, 'tcx> {
|
||||
// real code should never need to care about this.
|
||||
//
|
||||
// 2. Using `Span::def_site` or `Span::mixed_site` will not
|
||||
// include any hygiene information associated with the defintion
|
||||
// include any hygiene information associated with the definition
|
||||
// site. This means that a proc-macro cannot emit a `$crate`
|
||||
// identifier which resolves to one of its dependencies,
|
||||
// which also should never come up in practice.
|
||||
|
@ -585,7 +585,7 @@ struct OpaqueTypeExpander<'tcx> {
|
||||
found_recursion: bool,
|
||||
/// Whether or not to check for recursive opaque types.
|
||||
/// This is `true` when we're explicitly checking for opaque type
|
||||
/// recursion, and 'false' otherwise to avoid unecessary work.
|
||||
/// recursion, and 'false' otherwise to avoid unnecessary work.
|
||||
check_recursion: bool,
|
||||
tcx: TyCtxt<'tcx>,
|
||||
}
|
||||
|
@ -524,7 +524,7 @@ impl<'tcx> Validator<'_, 'tcx> {
|
||||
// The `is_empty` predicate is introduced to exclude the case
|
||||
// where the projection operations are [ .field, * ].
|
||||
// The reason is because promotion will be illegal if field
|
||||
// accesses preceed the dereferencing.
|
||||
// accesses precede the dereferencing.
|
||||
// Discussion can be found at
|
||||
// https://github.com/rust-lang/rust/pull/74945#discussion_r463063247
|
||||
// There may be opportunity for generalization, but this needs to be
|
||||
|
@ -133,7 +133,7 @@ crate enum PatKind<'tcx> {
|
||||
var: hir::HirId,
|
||||
ty: Ty<'tcx>,
|
||||
subpattern: Option<Pat<'tcx>>,
|
||||
/// Is this the leftmost occurance of the binding, i.e., is `var` the
|
||||
/// Is this the leftmost occurrence of the binding, i.e., is `var` the
|
||||
/// `HirId` of this pattern?
|
||||
is_primary: bool,
|
||||
},
|
||||
|
@ -1717,7 +1717,7 @@ pub fn build_session_options(matches: &getopts::Matches) -> Options {
|
||||
}
|
||||
|
||||
// `-Z instrument-coverage` implies:
|
||||
// * `-Z symbol-mangling-version=v0` - to ensure consistent and reversable name mangling.
|
||||
// * `-Z symbol-mangling-version=v0` - to ensure consistent and reversible name mangling.
|
||||
// Note, LLVM coverage tools can analyze coverage over multiple runs, including some
|
||||
// changes to source code; so mangled names must be consistent across compilations.
|
||||
// * `-C link-dead-code` - so unexecuted code is still counted as zero, rather than be
|
||||
|
@ -63,7 +63,7 @@ impl GatedSpans {
|
||||
|
||||
#[derive(Default)]
|
||||
pub struct SymbolGallery {
|
||||
/// All symbols occurred and their first occurrance span.
|
||||
/// All symbols occurred and their first occurrence span.
|
||||
pub symbols: Lock<BTreeMap<Symbol, Span>>,
|
||||
}
|
||||
|
||||
|
@ -891,7 +891,7 @@ impl UseSpecializedDecodable for ExpnId {}
|
||||
|
||||
#[derive(Default)]
|
||||
pub struct HygieneEncodeContext {
|
||||
/// All `SyntaxContexts` for which we have writen `SyntaxContextData` into crate metadata.
|
||||
/// All `SyntaxContexts` for which we have written `SyntaxContextData` into crate metadata.
|
||||
/// This is `None` after we finish encoding `SyntaxContexts`, to ensure
|
||||
/// that we don't accidentally try to encode any more `SyntaxContexts`
|
||||
serialized_ctxts: Lock<FxHashSet<SyntaxContext>>,
|
||||
@ -961,7 +961,7 @@ pub struct HygieneDecodeContext {
|
||||
// Maps serialized `SyntaxContext` ids to a `SyntaxContext` in the current
|
||||
// global `HygieneData`. When we deserialize a `SyntaxContext`, we need to create
|
||||
// a new id in the global `HygieneData`. This map tracks the ID we end up picking,
|
||||
// so that multiple occurences of the same serialized id are decoded to the same
|
||||
// so that multiple occurrences of the same serialized id are decoded to the same
|
||||
// `SyntaxContext`
|
||||
remapped_ctxts: Lock<Vec<Option<SyntaxContext>>>,
|
||||
// The same as `remapepd_ctxts`, but for `ExpnId`s
|
||||
|
@ -456,7 +456,7 @@ impl<'f, 'tcx> Coerce<'f, 'tcx> {
|
||||
//
|
||||
// Both of these trigger a special `CoerceUnsized`-related error (E0376)
|
||||
//
|
||||
// We can take advantage of this fact to avoid performing unecessary work.
|
||||
// We can take advantage of this fact to avoid performing unnecessary work.
|
||||
// If either `source` or `target` is a type variable, then any applicable impl
|
||||
// would need to be generic over the self-type (`impl<T> CoerceUnsized<SomeType> for T`)
|
||||
// or generic over the `CoerceUnsized` type parameter (`impl<T> CoerceUnsized<T> for
|
||||
|
@ -10,7 +10,7 @@
|
||||
// const-evaluator computes a value that *does* meet the conditions for
|
||||
// structural-match, but the const expression itself has abstractions (like
|
||||
// calls to const functions) that may fit better with a type-based analysis
|
||||
// rather than a committment to a specific value.
|
||||
// rather than a commitment to a specific value.
|
||||
|
||||
#![warn(indirect_structural_match)]
|
||||
|
||||
|
@ -1,5 +1,5 @@
|
||||
// This test is from #73976. We previously did not check if a type is monomorphized
|
||||
// before calculating its type id, which leads to the bizzare behaviour below that
|
||||
// before calculating its type id, which leads to the bizarre behaviour below that
|
||||
// TypeId of a generic type does not match itself.
|
||||
//
|
||||
// This test case should either run-pass or be rejected at compile time.
|
||||
|
@ -23,7 +23,7 @@ struct _ヒb;
|
||||
struct __χa;
|
||||
//~^ ERROR type `__χa` should have an upper camel case name
|
||||
|
||||
// Besides this, we cannot have two continous underscores in the middle.
|
||||
// Besides this, we cannot have two continuous underscores in the middle.
|
||||
|
||||
struct 对__否;
|
||||
//~^ ERROR type `对__否` should have an upper camel case name
|
||||
|
@ -18,7 +18,7 @@ fn 编程() {}
|
||||
fn Ц() {}
|
||||
//~^ ERROR function `Ц` should have a snake case name
|
||||
|
||||
// besides this, you cannot use continous underscores in the middle
|
||||
// besides this, you cannot use continuous underscores in the middle
|
||||
|
||||
fn 分__隔() {}
|
||||
//~^ ERROR function `分__隔` should have a snake case name
|
||||
|
@ -1,4 +1,4 @@
|
||||
// Test proc-macro crate can be built without addtional RUSTFLAGS
|
||||
// Test proc-macro crate can be built without additional RUSTFLAGS
|
||||
// on musl target
|
||||
// override -Ctarget-feature=-crt-static from compiletest
|
||||
// compile-flags: -Ctarget-feature=
|
||||
|
@ -149,7 +149,7 @@ fn main() {
|
||||
1 + 2, 3
|
||||
- 4, 5
|
||||
];
|
||||
// lint if it doesnt
|
||||
// lint if it doesn't
|
||||
let _ = &[
|
||||
-1
|
||||
-4,
|
||||
|
Loading…
x
Reference in New Issue
Block a user