squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Documentation should have proper grammar

Browse source
This commit is contained in:
Oliver Scherer 2019-04-10 11:21:19 +02:00
parent ae4717d950
commit f10394ae0c
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/librustc_mir/transform/qualify_consts.rs
View file

@ -509,10 +509,13 @@ impl Qualif for IsNotPromotable {
}
/// Refers to temporaries which cannot be promoted *implicitly*.
/// Explicit promotion e.g. for constant arguments declared via `rustc_args_required_const` or by
/// happening inside a constant, static or const fn. Inside a const context all constness rules
/// Explicit promotion happens e.g. for constant arguments declared via `rustc_args_required_const`.
/// Inside a const context all constness rules
/// apply, so implicit promotion simply has to follow the regular constant rules (modulo interior
/// mutability or `Drop` rules which are handled `HasMutInterior` and `NeedsDrop` respectively)
/// mutability or `Drop` rules which are handled `HasMutInterior` and `NeedsDrop` respectively).
/// Implicit promotion inside regular functions does not happen if `const fn` calls are involved,
/// as the call may be perfectly alright at runtime, but fail at compile time e.g. due to addresses
/// being compared inside the function.
struct IsNotImplicitlyPromotable;
impl Qualif for IsNotImplicitlyPromotable {