mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-25 16:24:46 +00:00
stabilize const_mut_refs
This commit is contained in:
parent
4f1be92153
commit
3175cc2814
@ -230,9 +230,6 @@ const_eval_memory_exhausted =
|
|||||||
const_eval_modified_global =
|
const_eval_modified_global =
|
||||||
modifying a static's initial value from another static's initializer
|
modifying a static's initial value from another static's initializer
|
||||||
|
|
||||||
const_eval_mut_deref =
|
|
||||||
mutation through a reference is not allowed in {const_eval_const_context}s
|
|
||||||
|
|
||||||
const_eval_mutable_ptr_in_final = encountered mutable pointer in final value of {const_eval_intern_kind}
|
const_eval_mutable_ptr_in_final = encountered mutable pointer in final value of {const_eval_intern_kind}
|
||||||
|
|
||||||
const_eval_nested_static_in_thread_local = #[thread_local] does not support implicit nested statics, please create explicit static items and refer to them instead
|
const_eval_nested_static_in_thread_local = #[thread_local] does not support implicit nested statics, please create explicit static items and refer to them instead
|
||||||
@ -363,10 +360,6 @@ const_eval_too_generic =
|
|||||||
const_eval_too_many_caller_args =
|
const_eval_too_many_caller_args =
|
||||||
calling a function with more arguments than it expected
|
calling a function with more arguments than it expected
|
||||||
|
|
||||||
const_eval_transient_mut_borrow = mutable references are not allowed in {const_eval_const_context}s
|
|
||||||
|
|
||||||
const_eval_transient_mut_raw = raw mutable pointers are not allowed in {const_eval_const_context}s
|
|
||||||
|
|
||||||
const_eval_try_block_from_output_non_const =
|
const_eval_try_block_from_output_non_const =
|
||||||
`try` block cannot convert `{$ty}` to the result in {const_eval_const_context}s
|
`try` block cannot convert `{$ty}` to the result in {const_eval_const_context}s
|
||||||
const_eval_unallowed_fn_pointer_call = function pointer calls are not allowed in {const_eval_const_context}s
|
const_eval_unallowed_fn_pointer_call = function pointer calls are not allowed in {const_eval_const_context}s
|
||||||
|
@ -22,7 +22,6 @@ use rustc_mir_dataflow::Analysis;
|
|||||||
use rustc_span::{sym, Span, Symbol, DUMMY_SP};
|
use rustc_span::{sym, Span, Symbol, DUMMY_SP};
|
||||||
use rustc_trait_selection::error_reporting::InferCtxtErrorExt;
|
use rustc_trait_selection::error_reporting::InferCtxtErrorExt;
|
||||||
use rustc_trait_selection::traits::{self, ObligationCauseCode, ObligationCtxt};
|
use rustc_trait_selection::traits::{self, ObligationCauseCode, ObligationCtxt};
|
||||||
use rustc_type_ir::visit::{TypeSuperVisitable, TypeVisitor};
|
|
||||||
use tracing::{debug, instrument, trace};
|
use tracing::{debug, instrument, trace};
|
||||||
|
|
||||||
use super::ops::{self, NonConstOp, Status};
|
use super::ops::{self, NonConstOp, Status};
|
||||||
@ -166,24 +165,6 @@ impl<'mir, 'tcx> Qualifs<'mir, 'tcx> {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
struct LocalReturnTyVisitor<'a, 'mir, 'tcx> {
|
|
||||||
kind: LocalKind,
|
|
||||||
checker: &'a mut Checker<'mir, 'tcx>,
|
|
||||||
}
|
|
||||||
|
|
||||||
impl<'a, 'mir, 'tcx> TypeVisitor<TyCtxt<'tcx>> for LocalReturnTyVisitor<'a, 'mir, 'tcx> {
|
|
||||||
fn visit_ty(&mut self, t: Ty<'tcx>) {
|
|
||||||
match t.kind() {
|
|
||||||
ty::FnPtr(..) => {}
|
|
||||||
ty::Ref(_, _, hir::Mutability::Mut) => {
|
|
||||||
self.checker.check_op(ops::mut_ref::MutRef(self.kind));
|
|
||||||
t.super_visit_with(self)
|
|
||||||
}
|
|
||||||
_ => t.super_visit_with(self),
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
pub struct Checker<'mir, 'tcx> {
|
pub struct Checker<'mir, 'tcx> {
|
||||||
ccx: &'mir ConstCx<'mir, 'tcx>,
|
ccx: &'mir ConstCx<'mir, 'tcx>,
|
||||||
qualifs: Qualifs<'mir, 'tcx>,
|
qualifs: Qualifs<'mir, 'tcx>,
|
||||||
@ -230,25 +211,6 @@ impl<'mir, 'tcx> Checker<'mir, 'tcx> {
|
|||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
// The local type and predicate checks are not free and only relevant for `const fn`s.
|
|
||||||
if self.const_kind() == hir::ConstContext::ConstFn {
|
|
||||||
for (idx, local) in body.local_decls.iter_enumerated() {
|
|
||||||
// Handle the return place below.
|
|
||||||
if idx == RETURN_PLACE {
|
|
||||||
continue;
|
|
||||||
}
|
|
||||||
|
|
||||||
self.span = local.source_info.span;
|
|
||||||
self.check_local_or_return_ty(local.ty, idx);
|
|
||||||
}
|
|
||||||
|
|
||||||
// impl trait is gone in MIR, so check the return type of a const fn by its signature
|
|
||||||
// instead of the type of the return place.
|
|
||||||
self.span = body.local_decls[RETURN_PLACE].source_info.span;
|
|
||||||
let return_ty = self.ccx.fn_sig().output();
|
|
||||||
self.check_local_or_return_ty(return_ty.skip_binder(), RETURN_PLACE);
|
|
||||||
}
|
|
||||||
|
|
||||||
if !tcx.has_attr(def_id, sym::rustc_do_not_const_check) {
|
if !tcx.has_attr(def_id, sym::rustc_do_not_const_check) {
|
||||||
self.visit_body(body);
|
self.visit_body(body);
|
||||||
}
|
}
|
||||||
@ -358,16 +320,8 @@ impl<'mir, 'tcx> Checker<'mir, 'tcx> {
|
|||||||
self.check_op_spanned(ops::StaticAccess, span)
|
self.check_op_spanned(ops::StaticAccess, span)
|
||||||
}
|
}
|
||||||
|
|
||||||
fn check_local_or_return_ty(&mut self, ty: Ty<'tcx>, local: Local) {
|
|
||||||
let kind = self.body.local_kind(local);
|
|
||||||
|
|
||||||
let mut visitor = LocalReturnTyVisitor { kind, checker: self };
|
|
||||||
|
|
||||||
visitor.visit_ty(ty);
|
|
||||||
}
|
|
||||||
|
|
||||||
fn check_mut_borrow(&mut self, place: &Place<'_>, kind: hir::BorrowKind) {
|
fn check_mut_borrow(&mut self, place: &Place<'_>, kind: hir::BorrowKind) {
|
||||||
match self.const_kind() {
|
let is_transient = match self.const_kind() {
|
||||||
// In a const fn all borrows are transient or point to the places given via
|
// In a const fn all borrows are transient or point to the places given via
|
||||||
// references in the arguments (so we already checked them with
|
// references in the arguments (so we already checked them with
|
||||||
// TransientMutBorrow/MutBorrow as appropriate).
|
// TransientMutBorrow/MutBorrow as appropriate).
|
||||||
@ -375,7 +329,7 @@ impl<'mir, 'tcx> Checker<'mir, 'tcx> {
|
|||||||
// NOTE: Once we have heap allocations during CTFE we need to figure out
|
// NOTE: Once we have heap allocations during CTFE we need to figure out
|
||||||
// how to prevent `const fn` to create long-lived allocations that point
|
// how to prevent `const fn` to create long-lived allocations that point
|
||||||
// to mutable memory.
|
// to mutable memory.
|
||||||
hir::ConstContext::ConstFn => self.check_op(ops::TransientMutBorrow(kind)),
|
hir::ConstContext::ConstFn => true,
|
||||||
_ => {
|
_ => {
|
||||||
// For indirect places, we are not creating a new permanent borrow, it's just as
|
// For indirect places, we are not creating a new permanent borrow, it's just as
|
||||||
// transient as the already existing one. For reborrowing references this is handled
|
// transient as the already existing one. For reborrowing references this is handled
|
||||||
@ -389,12 +343,11 @@ impl<'mir, 'tcx> Checker<'mir, 'tcx> {
|
|||||||
// `StorageDead` in every control flow path leading to a `return` terminator.
|
// `StorageDead` in every control flow path leading to a `return` terminator.
|
||||||
// The good news is that interning will detect if any unexpected mutable
|
// The good news is that interning will detect if any unexpected mutable
|
||||||
// pointer slips through.
|
// pointer slips through.
|
||||||
if place.is_indirect() || self.local_is_transient(place.local) {
|
place.is_indirect() || self.local_is_transient(place.local)
|
||||||
self.check_op(ops::TransientMutBorrow(kind));
|
|
||||||
} else {
|
|
||||||
self.check_op(ops::MutBorrow(kind));
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
};
|
||||||
|
if !is_transient {
|
||||||
|
self.check_op(ops::EscapingMutBorrow(kind));
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -636,58 +589,6 @@ impl<'tcx> Visitor<'tcx> for Checker<'_, 'tcx> {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
fn visit_projection_elem(
|
|
||||||
&mut self,
|
|
||||||
place_ref: PlaceRef<'tcx>,
|
|
||||||
elem: PlaceElem<'tcx>,
|
|
||||||
context: PlaceContext,
|
|
||||||
location: Location,
|
|
||||||
) {
|
|
||||||
trace!(
|
|
||||||
"visit_projection_elem: place_ref={:?} elem={:?} \
|
|
||||||
context={:?} location={:?}",
|
|
||||||
place_ref, elem, context, location,
|
|
||||||
);
|
|
||||||
|
|
||||||
self.super_projection_elem(place_ref, elem, context, location);
|
|
||||||
|
|
||||||
match elem {
|
|
||||||
ProjectionElem::Deref => {
|
|
||||||
let base_ty = place_ref.ty(self.body, self.tcx).ty;
|
|
||||||
if base_ty.is_unsafe_ptr() {
|
|
||||||
if place_ref.projection.is_empty() {
|
|
||||||
let decl = &self.body.local_decls[place_ref.local];
|
|
||||||
// If this is a static, then this is not really dereferencing a pointer,
|
|
||||||
// just directly accessing a static. That is not subject to any feature
|
|
||||||
// gates (except for the one about whether statics can even be used, but
|
|
||||||
// that is checked already by `visit_operand`).
|
|
||||||
if let LocalInfo::StaticRef { .. } = *decl.local_info() {
|
|
||||||
return;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// `*const T` is stable, `*mut T` is not
|
|
||||||
if !base_ty.is_mutable_ptr() {
|
|
||||||
return;
|
|
||||||
}
|
|
||||||
|
|
||||||
self.check_op(ops::RawMutPtrDeref);
|
|
||||||
}
|
|
||||||
|
|
||||||
if context.is_mutating_use() {
|
|
||||||
self.check_op(ops::MutDeref);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
ProjectionElem::ConstantIndex { .. }
|
|
||||||
| ProjectionElem::Downcast(..)
|
|
||||||
| ProjectionElem::OpaqueCast(..)
|
|
||||||
| ProjectionElem::Subslice { .. }
|
|
||||||
| ProjectionElem::Subtype(..)
|
|
||||||
| ProjectionElem::Field(..)
|
|
||||||
| ProjectionElem::Index(_) => {}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
fn visit_source_info(&mut self, source_info: &SourceInfo) {
|
fn visit_source_info(&mut self, source_info: &SourceInfo) {
|
||||||
trace!("visit_source_info: source_info={:?}", source_info);
|
trace!("visit_source_info: source_info={:?}", source_info);
|
||||||
|
@ -8,7 +8,7 @@ use rustc_hir as hir;
|
|||||||
use rustc_hir::def_id::DefId;
|
use rustc_hir::def_id::DefId;
|
||||||
use rustc_infer::infer::TyCtxtInferExt;
|
use rustc_infer::infer::TyCtxtInferExt;
|
||||||
use rustc_infer::traits::{ImplSource, Obligation, ObligationCause};
|
use rustc_infer::traits::{ImplSource, Obligation, ObligationCause};
|
||||||
use rustc_middle::mir::{self, CallSource};
|
use rustc_middle::mir::CallSource;
|
||||||
use rustc_middle::span_bug;
|
use rustc_middle::span_bug;
|
||||||
use rustc_middle::ty::print::{with_no_trimmed_paths, PrintTraitRefExt as _};
|
use rustc_middle::ty::print::{with_no_trimmed_paths, PrintTraitRefExt as _};
|
||||||
use rustc_middle::ty::{
|
use rustc_middle::ty::{
|
||||||
@ -431,9 +431,9 @@ impl<'tcx> NonConstOp<'tcx> for CellBorrow {
|
|||||||
/// This op is for `&mut` borrows in the trailing expression of a constant
|
/// This op is for `&mut` borrows in the trailing expression of a constant
|
||||||
/// which uses the "enclosing scopes rule" to leak its locals into anonymous
|
/// which uses the "enclosing scopes rule" to leak its locals into anonymous
|
||||||
/// static or const items.
|
/// static or const items.
|
||||||
pub(crate) struct MutBorrow(pub hir::BorrowKind);
|
pub(crate) struct EscapingMutBorrow(pub hir::BorrowKind);
|
||||||
|
|
||||||
impl<'tcx> NonConstOp<'tcx> for MutBorrow {
|
impl<'tcx> NonConstOp<'tcx> for EscapingMutBorrow {
|
||||||
fn status_in_item(&self, _ccx: &ConstCx<'_, 'tcx>) -> Status {
|
fn status_in_item(&self, _ccx: &ConstCx<'_, 'tcx>) -> Status {
|
||||||
Status::Forbidden
|
Status::Forbidden
|
||||||
}
|
}
|
||||||
@ -460,49 +460,6 @@ impl<'tcx> NonConstOp<'tcx> for MutBorrow {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Debug)]
|
|
||||||
pub(crate) struct TransientMutBorrow(pub hir::BorrowKind);
|
|
||||||
|
|
||||||
impl<'tcx> NonConstOp<'tcx> for TransientMutBorrow {
|
|
||||||
fn status_in_item(&self, _: &ConstCx<'_, 'tcx>) -> Status {
|
|
||||||
Status::Unstable(sym::const_mut_refs)
|
|
||||||
}
|
|
||||||
|
|
||||||
fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
|
|
||||||
let kind = ccx.const_kind();
|
|
||||||
match self.0 {
|
|
||||||
hir::BorrowKind::Raw => ccx
|
|
||||||
.tcx
|
|
||||||
.sess
|
|
||||||
.create_feature_err(errors::TransientMutRawErr { span, kind }, sym::const_mut_refs),
|
|
||||||
hir::BorrowKind::Ref => ccx.tcx.sess.create_feature_err(
|
|
||||||
errors::TransientMutBorrowErr { span, kind },
|
|
||||||
sym::const_mut_refs,
|
|
||||||
),
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
#[derive(Debug)]
|
|
||||||
pub(crate) struct MutDeref;
|
|
||||||
impl<'tcx> NonConstOp<'tcx> for MutDeref {
|
|
||||||
fn status_in_item(&self, _: &ConstCx<'_, 'tcx>) -> Status {
|
|
||||||
Status::Unstable(sym::const_mut_refs)
|
|
||||||
}
|
|
||||||
|
|
||||||
fn importance(&self) -> DiagImportance {
|
|
||||||
// Usually a side-effect of a `TransientMutBorrow` somewhere.
|
|
||||||
DiagImportance::Secondary
|
|
||||||
}
|
|
||||||
|
|
||||||
fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
|
|
||||||
ccx.tcx.sess.create_feature_err(
|
|
||||||
errors::MutDerefErr { span, kind: ccx.const_kind() },
|
|
||||||
sym::const_mut_refs,
|
|
||||||
)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
/// A call to a `panic()` lang item where the first argument is _not_ a `&str`.
|
/// A call to a `panic()` lang item where the first argument is _not_ a `&str`.
|
||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
pub(crate) struct PanicNonStr;
|
pub(crate) struct PanicNonStr;
|
||||||
@ -524,24 +481,6 @@ impl<'tcx> NonConstOp<'tcx> for RawPtrComparison {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Debug)]
|
|
||||||
pub(crate) struct RawMutPtrDeref;
|
|
||||||
impl<'tcx> NonConstOp<'tcx> for RawMutPtrDeref {
|
|
||||||
fn status_in_item(&self, _: &ConstCx<'_, '_>) -> Status {
|
|
||||||
Status::Unstable(sym::const_mut_refs)
|
|
||||||
}
|
|
||||||
|
|
||||||
#[allow(rustc::untranslatable_diagnostic)] // FIXME: make this translatable
|
|
||||||
fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
|
|
||||||
feature_err(
|
|
||||||
&ccx.tcx.sess,
|
|
||||||
sym::const_mut_refs,
|
|
||||||
span,
|
|
||||||
format!("dereferencing raw mutable pointers in {}s is unstable", ccx.const_kind(),),
|
|
||||||
)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
/// Casting raw pointer or function pointer to an integer.
|
/// Casting raw pointer or function pointer to an integer.
|
||||||
/// Not currently intended to ever be allowed, even behind a feature gate: operation depends on
|
/// Not currently intended to ever be allowed, even behind a feature gate: operation depends on
|
||||||
/// allocation base addresses that are not known at compile-time.
|
/// allocation base addresses that are not known at compile-time.
|
||||||
@ -588,33 +527,3 @@ impl<'tcx> NonConstOp<'tcx> for ThreadLocalAccess {
|
|||||||
ccx.dcx().create_err(errors::ThreadLocalAccessErr { span })
|
ccx.dcx().create_err(errors::ThreadLocalAccessErr { span })
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Types that cannot appear in the signature or locals of a `const fn`.
|
|
||||||
pub(crate) mod mut_ref {
|
|
||||||
use super::*;
|
|
||||||
|
|
||||||
#[derive(Debug)]
|
|
||||||
pub(crate) struct MutRef(pub mir::LocalKind);
|
|
||||||
impl<'tcx> NonConstOp<'tcx> for MutRef {
|
|
||||||
fn status_in_item(&self, _ccx: &ConstCx<'_, 'tcx>) -> Status {
|
|
||||||
Status::Unstable(sym::const_mut_refs)
|
|
||||||
}
|
|
||||||
|
|
||||||
fn importance(&self) -> DiagImportance {
|
|
||||||
match self.0 {
|
|
||||||
mir::LocalKind::Temp => DiagImportance::Secondary,
|
|
||||||
mir::LocalKind::ReturnPointer | mir::LocalKind::Arg => DiagImportance::Primary,
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
#[allow(rustc::untranslatable_diagnostic)] // FIXME: make this translatable
|
|
||||||
fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
|
|
||||||
feature_err(
|
|
||||||
&ccx.tcx.sess,
|
|
||||||
sym::const_mut_refs,
|
|
||||||
span,
|
|
||||||
format!("mutable references are not allowed in {}s", ccx.const_kind()),
|
|
||||||
)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
@ -93,30 +93,6 @@ pub(crate) struct PanicNonStrErr {
|
|||||||
pub span: Span,
|
pub span: Span,
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Diagnostic)]
|
|
||||||
#[diag(const_eval_mut_deref, code = E0658)]
|
|
||||||
pub(crate) struct MutDerefErr {
|
|
||||||
#[primary_span]
|
|
||||||
pub span: Span,
|
|
||||||
pub kind: ConstContext,
|
|
||||||
}
|
|
||||||
|
|
||||||
#[derive(Diagnostic)]
|
|
||||||
#[diag(const_eval_transient_mut_borrow, code = E0658)]
|
|
||||||
pub(crate) struct TransientMutBorrowErr {
|
|
||||||
#[primary_span]
|
|
||||||
pub span: Span,
|
|
||||||
pub kind: ConstContext,
|
|
||||||
}
|
|
||||||
|
|
||||||
#[derive(Diagnostic)]
|
|
||||||
#[diag(const_eval_transient_mut_raw, code = E0658)]
|
|
||||||
pub(crate) struct TransientMutRawErr {
|
|
||||||
#[primary_span]
|
|
||||||
pub span: Span,
|
|
||||||
pub kind: ConstContext,
|
|
||||||
}
|
|
||||||
|
|
||||||
#[derive(Diagnostic)]
|
#[derive(Diagnostic)]
|
||||||
#[diag(const_eval_max_num_nodes_in_const)]
|
#[diag(const_eval_max_num_nodes_in_const)]
|
||||||
pub(crate) struct MaxNumNodesInConstErr {
|
pub(crate) struct MaxNumNodesInConstErr {
|
||||||
|
@ -3,8 +3,6 @@ A mutable reference was used in a constant.
|
|||||||
Erroneous code example:
|
Erroneous code example:
|
||||||
|
|
||||||
```compile_fail,E0764
|
```compile_fail,E0764
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
|
|
||||||
fn main() {
|
fn main() {
|
||||||
const OH_NO: &'static mut usize = &mut 1; // error!
|
const OH_NO: &'static mut usize = &mut 1; // error!
|
||||||
}
|
}
|
||||||
@ -26,8 +24,6 @@ Remember: you cannot use a function call inside a constant or static. However,
|
|||||||
you can totally use it in constant functions:
|
you can totally use it in constant functions:
|
||||||
|
|
||||||
```
|
```
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
|
|
||||||
const fn foo(x: usize) -> usize {
|
const fn foo(x: usize) -> usize {
|
||||||
let mut y = 1;
|
let mut y = 1;
|
||||||
let z = &mut y;
|
let z = &mut y;
|
||||||
|
@ -143,6 +143,8 @@ declare_features! (
|
|||||||
(accepted, const_let, "1.33.0", Some(48821)),
|
(accepted, const_let, "1.33.0", Some(48821)),
|
||||||
/// Allows the use of `loop` and `while` in constants.
|
/// Allows the use of `loop` and `while` in constants.
|
||||||
(accepted, const_loop, "1.46.0", Some(52000)),
|
(accepted, const_loop, "1.46.0", Some(52000)),
|
||||||
|
/// Allows using `&mut` in constant functions.
|
||||||
|
(accepted, const_mut_refs, "CURRENT_RUSTC_VERSION", Some(57349)),
|
||||||
/// Allows panicking during const eval (producing compile-time errors).
|
/// Allows panicking during const eval (producing compile-time errors).
|
||||||
(accepted, const_panic, "1.57.0", Some(51999)),
|
(accepted, const_panic, "1.57.0", Some(51999)),
|
||||||
/// Allows dereferencing raw pointers during const eval.
|
/// Allows dereferencing raw pointers during const eval.
|
||||||
|
@ -403,8 +403,6 @@ declare_features! (
|
|||||||
(incomplete, const_closures, "1.68.0", Some(106003)),
|
(incomplete, const_closures, "1.68.0", Some(106003)),
|
||||||
/// Allows `for _ in _` loops in const contexts.
|
/// Allows `for _ in _` loops in const contexts.
|
||||||
(unstable, const_for, "1.56.0", Some(87575)),
|
(unstable, const_for, "1.56.0", Some(87575)),
|
||||||
/// Allows using `&mut` in constant functions.
|
|
||||||
(unstable, const_mut_refs, "1.41.0", Some(57349)),
|
|
||||||
/// Be more precise when looking for live drops in a const context.
|
/// Be more precise when looking for live drops in a const context.
|
||||||
(unstable, const_precise_live_drops, "1.46.0", Some(73255)),
|
(unstable, const_precise_live_drops, "1.46.0", Some(73255)),
|
||||||
/// Allows references to types with interior mutability within constants
|
/// Allows references to types with interior mutability within constants
|
||||||
|
@ -164,13 +164,13 @@
|
|||||||
//
|
//
|
||||||
// Language features:
|
// Language features:
|
||||||
// tidy-alphabetical-start
|
// tidy-alphabetical-start
|
||||||
|
#![cfg_attr(bootstrap, feature(const_mut_refs))]
|
||||||
#![cfg_attr(not(test), feature(coroutine_trait))]
|
#![cfg_attr(not(test), feature(coroutine_trait))]
|
||||||
#![cfg_attr(test, feature(panic_update_hook))]
|
#![cfg_attr(test, feature(panic_update_hook))]
|
||||||
#![cfg_attr(test, feature(test))]
|
#![cfg_attr(test, feature(test))]
|
||||||
#![feature(allocator_internals)]
|
#![feature(allocator_internals)]
|
||||||
#![feature(allow_internal_unstable)]
|
#![feature(allow_internal_unstable)]
|
||||||
#![feature(cfg_sanitize)]
|
#![feature(cfg_sanitize)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
#![feature(const_precise_live_drops)]
|
#![feature(const_precise_live_drops)]
|
||||||
#![feature(const_ptr_write)]
|
#![feature(const_ptr_write)]
|
||||||
#![feature(const_try)]
|
#![feature(const_try)]
|
||||||
|
@ -6,7 +6,7 @@
|
|||||||
#![feature(cow_is_borrowed)]
|
#![feature(cow_is_borrowed)]
|
||||||
#![feature(const_cow_is_borrowed)]
|
#![feature(const_cow_is_borrowed)]
|
||||||
#![feature(const_heap)]
|
#![feature(const_heap)]
|
||||||
#![feature(const_mut_refs)]
|
#![cfg_attr(bootstrap, feature(const_mut_refs))]
|
||||||
#![feature(const_slice_from_raw_parts_mut)]
|
#![feature(const_slice_from_raw_parts_mut)]
|
||||||
#![feature(const_ptr_write)]
|
#![feature(const_ptr_write)]
|
||||||
#![feature(const_try)]
|
#![feature(const_try)]
|
||||||
|
@ -191,6 +191,7 @@
|
|||||||
//
|
//
|
||||||
// Language features:
|
// Language features:
|
||||||
// tidy-alphabetical-start
|
// tidy-alphabetical-start
|
||||||
|
#![cfg_attr(bootstrap, feature(const_mut_refs))]
|
||||||
#![feature(abi_unadjusted)]
|
#![feature(abi_unadjusted)]
|
||||||
#![feature(adt_const_params)]
|
#![feature(adt_const_params)]
|
||||||
#![feature(allow_internal_unsafe)]
|
#![feature(allow_internal_unsafe)]
|
||||||
@ -201,7 +202,6 @@
|
|||||||
#![feature(cfg_target_has_atomic_equal_alignment)]
|
#![feature(cfg_target_has_atomic_equal_alignment)]
|
||||||
#![feature(cfg_ub_checks)]
|
#![feature(cfg_ub_checks)]
|
||||||
#![feature(const_for)]
|
#![feature(const_for)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
#![feature(const_precise_live_drops)]
|
#![feature(const_precise_live_drops)]
|
||||||
#![feature(const_refs_to_cell)]
|
#![feature(const_refs_to_cell)]
|
||||||
#![feature(decl_macro)]
|
#![feature(decl_macro)]
|
||||||
|
@ -1569,7 +1569,7 @@ impl<T: ?Sized> *mut T {
|
|||||||
///
|
///
|
||||||
/// ```
|
/// ```
|
||||||
/// #![feature(const_pointer_is_aligned)]
|
/// #![feature(const_pointer_is_aligned)]
|
||||||
/// #![feature(const_mut_refs)]
|
/// # #![cfg_attr(bootstrap, feature(const_mut_refs))]
|
||||||
///
|
///
|
||||||
/// // On some platforms, the alignment of primitives is less than their size.
|
/// // On some platforms, the alignment of primitives is less than their size.
|
||||||
/// #[repr(align(4))]
|
/// #[repr(align(4))]
|
||||||
@ -1695,7 +1695,7 @@ impl<T: ?Sized> *mut T {
|
|||||||
/// ```
|
/// ```
|
||||||
/// #![feature(pointer_is_aligned_to)]
|
/// #![feature(pointer_is_aligned_to)]
|
||||||
/// #![feature(const_pointer_is_aligned)]
|
/// #![feature(const_pointer_is_aligned)]
|
||||||
/// #![feature(const_mut_refs)]
|
/// # #![cfg_attr(bootstrap, feature(const_mut_refs))]
|
||||||
///
|
///
|
||||||
/// // On some platforms, the alignment of i32 is less than 4.
|
/// // On some platforms, the alignment of i32 is less than 4.
|
||||||
/// #[repr(align(4))]
|
/// #[repr(align(4))]
|
||||||
|
@ -1,4 +1,5 @@
|
|||||||
// tidy-alphabetical-start
|
// tidy-alphabetical-start
|
||||||
|
#![cfg_attr(bootstrap, feature(const_mut_refs))]
|
||||||
#![cfg_attr(target_has_atomic = "128", feature(integer_atomics))]
|
#![cfg_attr(target_has_atomic = "128", feature(integer_atomics))]
|
||||||
#![cfg_attr(test, feature(cfg_match))]
|
#![cfg_attr(test, feature(cfg_match))]
|
||||||
#![feature(alloc_layout_extra)]
|
#![feature(alloc_layout_extra)]
|
||||||
@ -26,7 +27,6 @@
|
|||||||
#![feature(const_ipv6)]
|
#![feature(const_ipv6)]
|
||||||
#![feature(const_likely)]
|
#![feature(const_likely)]
|
||||||
#![feature(const_maybe_uninit_as_mut_ptr)]
|
#![feature(const_maybe_uninit_as_mut_ptr)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
#![feature(const_nonnull_new)]
|
#![feature(const_nonnull_new)]
|
||||||
#![feature(const_option)]
|
#![feature(const_option)]
|
||||||
#![feature(const_option_ext)]
|
#![feature(const_option_ext)]
|
||||||
|
@ -272,6 +272,7 @@
|
|||||||
//
|
//
|
||||||
// Language features:
|
// Language features:
|
||||||
// tidy-alphabetical-start
|
// tidy-alphabetical-start
|
||||||
|
#![cfg_attr(bootstrap, feature(const_mut_refs))]
|
||||||
#![feature(alloc_error_handler)]
|
#![feature(alloc_error_handler)]
|
||||||
#![feature(allocator_internals)]
|
#![feature(allocator_internals)]
|
||||||
#![feature(allow_internal_unsafe)]
|
#![feature(allow_internal_unsafe)]
|
||||||
@ -281,7 +282,6 @@
|
|||||||
#![feature(cfg_target_thread_local)]
|
#![feature(cfg_target_thread_local)]
|
||||||
#![feature(cfi_encoding)]
|
#![feature(cfi_encoding)]
|
||||||
#![feature(concat_idents)]
|
#![feature(concat_idents)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
#![feature(decl_macro)]
|
#![feature(decl_macro)]
|
||||||
#![feature(deprecated_suggestion)]
|
#![feature(deprecated_suggestion)]
|
||||||
#![feature(doc_cfg)]
|
#![feature(doc_cfg)]
|
||||||
|
@ -1,5 +1,8 @@
|
|||||||
//@aux-build:proc_macro_derive.rs
|
//@aux-build:proc_macro_derive.rs
|
||||||
|
|
||||||
|
#![feature(f128)]
|
||||||
|
#![feature(f16)]
|
||||||
|
|
||||||
#![allow(
|
#![allow(
|
||||||
clippy::assign_op_pattern,
|
clippy::assign_op_pattern,
|
||||||
clippy::erasing_op,
|
clippy::erasing_op,
|
||||||
@ -10,9 +13,6 @@
|
|||||||
arithmetic_overflow,
|
arithmetic_overflow,
|
||||||
unconditional_panic
|
unconditional_panic
|
||||||
)]
|
)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
#![feature(f128)]
|
|
||||||
#![feature(f16)]
|
|
||||||
#![warn(clippy::arithmetic_side_effects)]
|
#![warn(clippy::arithmetic_side_effects)]
|
||||||
|
|
||||||
extern crate proc_macro_derive;
|
extern crate proc_macro_derive;
|
||||||
|
@ -1,7 +1,6 @@
|
|||||||
#![warn(clippy::missing_const_for_fn)]
|
#![warn(clippy::missing_const_for_fn)]
|
||||||
#![allow(incomplete_features, clippy::let_and_return, clippy::missing_transmute_annotations)]
|
#![allow(incomplete_features, clippy::let_and_return, clippy::missing_transmute_annotations)]
|
||||||
#![allow(unsupported_calling_conventions)]
|
#![allow(unsupported_calling_conventions)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
#![feature(const_trait_impl)]
|
#![feature(const_trait_impl)]
|
||||||
|
|
||||||
use std::mem::transmute;
|
use std::mem::transmute;
|
||||||
|
@ -1,7 +1,6 @@
|
|||||||
#![warn(clippy::missing_const_for_fn)]
|
#![warn(clippy::missing_const_for_fn)]
|
||||||
#![allow(incomplete_features, clippy::let_and_return, clippy::missing_transmute_annotations)]
|
#![allow(incomplete_features, clippy::let_and_return, clippy::missing_transmute_annotations)]
|
||||||
#![allow(unsupported_calling_conventions)]
|
#![allow(unsupported_calling_conventions)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
#![feature(const_trait_impl)]
|
#![feature(const_trait_impl)]
|
||||||
|
|
||||||
use std::mem::transmute;
|
use std::mem::transmute;
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:15:5
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:14:5
|
||||||
|
|
|
|
||||||
LL | / pub fn new() -> Self {
|
LL | / pub fn new() -> Self {
|
||||||
LL | |
|
LL | |
|
||||||
@ -16,7 +16,7 @@ LL | pub const fn new() -> Self {
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:21:5
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:20:5
|
||||||
|
|
|
|
||||||
LL | / fn const_generic_params<'a, T, const N: usize>(&self, b: &'a [T; N]) -> &'a [T; N] {
|
LL | / fn const_generic_params<'a, T, const N: usize>(&self, b: &'a [T; N]) -> &'a [T; N] {
|
||||||
LL | |
|
LL | |
|
||||||
@ -30,7 +30,7 @@ LL | const fn const_generic_params<'a, T, const N: usize>(&self, b: &'a [T;
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:28:1
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:27:1
|
||||||
|
|
|
|
||||||
LL | / fn one() -> i32 {
|
LL | / fn one() -> i32 {
|
||||||
LL | |
|
LL | |
|
||||||
@ -44,7 +44,7 @@ LL | const fn one() -> i32 {
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:34:1
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:33:1
|
||||||
|
|
|
|
||||||
LL | / fn two() -> i32 {
|
LL | / fn two() -> i32 {
|
||||||
LL | |
|
LL | |
|
||||||
@ -59,7 +59,7 @@ LL | const fn two() -> i32 {
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:41:1
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:40:1
|
||||||
|
|
|
|
||||||
LL | / fn string() -> String {
|
LL | / fn string() -> String {
|
||||||
LL | |
|
LL | |
|
||||||
@ -73,7 +73,7 @@ LL | const fn string() -> String {
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:47:1
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:46:1
|
||||||
|
|
|
|
||||||
LL | / unsafe fn four() -> i32 {
|
LL | / unsafe fn four() -> i32 {
|
||||||
LL | |
|
LL | |
|
||||||
@ -87,7 +87,7 @@ LL | const unsafe fn four() -> i32 {
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:53:1
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:52:1
|
||||||
|
|
|
|
||||||
LL | / fn generic<T>(t: T) -> T {
|
LL | / fn generic<T>(t: T) -> T {
|
||||||
LL | |
|
LL | |
|
||||||
@ -101,7 +101,7 @@ LL | const fn generic<T>(t: T) -> T {
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:62:1
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:61:1
|
||||||
|
|
|
|
||||||
LL | / fn generic_arr<T: Copy>(t: [T; 1]) -> T {
|
LL | / fn generic_arr<T: Copy>(t: [T; 1]) -> T {
|
||||||
LL | |
|
LL | |
|
||||||
@ -115,7 +115,7 @@ LL | const fn generic_arr<T: Copy>(t: [T; 1]) -> T {
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:76:9
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:75:9
|
||||||
|
|
|
|
||||||
LL | / pub fn b(self, a: &A) -> B {
|
LL | / pub fn b(self, a: &A) -> B {
|
||||||
LL | |
|
LL | |
|
||||||
@ -129,7 +129,7 @@ LL | pub const fn b(self, a: &A) -> B {
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:86:5
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:85:5
|
||||||
|
|
|
|
||||||
LL | / fn const_fn_stabilized_before_msrv(byte: u8) {
|
LL | / fn const_fn_stabilized_before_msrv(byte: u8) {
|
||||||
LL | |
|
LL | |
|
||||||
@ -143,7 +143,7 @@ LL | const fn const_fn_stabilized_before_msrv(byte: u8) {
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:98:1
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:97:1
|
||||||
|
|
|
|
||||||
LL | / fn msrv_1_46() -> i32 {
|
LL | / fn msrv_1_46() -> i32 {
|
||||||
LL | |
|
LL | |
|
||||||
@ -157,7 +157,7 @@ LL | const fn msrv_1_46() -> i32 {
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:118:1
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:117:1
|
||||||
|
|
|
|
||||||
LL | fn d(this: D) {}
|
LL | fn d(this: D) {}
|
||||||
| ^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^
|
||||||
@ -168,7 +168,7 @@ LL | const fn d(this: D) {}
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:126:9
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:125:9
|
||||||
|
|
|
|
||||||
LL | / fn deref_ptr_can_be_const(self) -> usize {
|
LL | / fn deref_ptr_can_be_const(self) -> usize {
|
||||||
LL | |
|
LL | |
|
||||||
@ -182,7 +182,7 @@ LL | const fn deref_ptr_can_be_const(self) -> usize {
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:131:9
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:130:9
|
||||||
|
|
|
|
||||||
LL | / fn deref_copied_val(self) -> usize {
|
LL | / fn deref_copied_val(self) -> usize {
|
||||||
LL | |
|
LL | |
|
||||||
@ -196,7 +196,7 @@ LL | const fn deref_copied_val(self) -> usize {
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:142:5
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:141:5
|
||||||
|
|
|
|
||||||
LL | / fn union_access_can_be_const() {
|
LL | / fn union_access_can_be_const() {
|
||||||
LL | |
|
LL | |
|
||||||
@ -211,7 +211,7 @@ LL | const fn union_access_can_be_const() {
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:150:9
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:149:9
|
||||||
|
|
|
|
||||||
LL | extern "C" fn c() {}
|
LL | extern "C" fn c() {}
|
||||||
| ^^^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^^^
|
||||||
@ -222,7 +222,7 @@ LL | const extern "C" fn c() {}
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:154:9
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:153:9
|
||||||
|
|
|
|
||||||
LL | extern fn implicit_c() {}
|
LL | extern fn implicit_c() {}
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||||
@ -233,7 +233,7 @@ LL | const extern fn implicit_c() {}
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:171:9
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:170:9
|
||||||
|
|
|
|
||||||
LL | / pub fn new(strings: Vec<String>) -> Self {
|
LL | / pub fn new(strings: Vec<String>) -> Self {
|
||||||
LL | | Self { strings }
|
LL | | Self { strings }
|
||||||
@ -246,7 +246,7 @@ LL | pub const fn new(strings: Vec<String>) -> Self {
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:176:9
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:175:9
|
||||||
|
|
|
|
||||||
LL | / pub fn empty() -> Self {
|
LL | / pub fn empty() -> Self {
|
||||||
LL | | Self { strings: Vec::new() }
|
LL | | Self { strings: Vec::new() }
|
||||||
@ -259,7 +259,7 @@ LL | pub const fn empty() -> Self {
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:187:9
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:186:9
|
||||||
|
|
|
|
||||||
LL | / pub fn new(text: String) -> Self {
|
LL | / pub fn new(text: String) -> Self {
|
||||||
LL | | let vec = Vec::new();
|
LL | | let vec = Vec::new();
|
||||||
@ -273,7 +273,7 @@ LL | pub const fn new(text: String) -> Self {
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:206:5
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:205:5
|
||||||
|
|
|
|
||||||
LL | fn alias_ty_is_projection(bar: <() as FooTrait>::Foo) {}
|
LL | fn alias_ty_is_projection(bar: <() as FooTrait>::Foo) {}
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||||
@ -284,7 +284,7 @@ LL | const fn alias_ty_is_projection(bar: <() as FooTrait>::Foo) {}
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:210:5
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:209:5
|
||||||
|
|
|
|
||||||
LL | extern "C-unwind" fn c_unwind() {}
|
LL | extern "C-unwind" fn c_unwind() {}
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||||
@ -295,7 +295,7 @@ LL | const extern "C-unwind" fn c_unwind() {}
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:212:5
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:211:5
|
||||||
|
|
|
|
||||||
LL | extern "system" fn system() {}
|
LL | extern "system" fn system() {}
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||||
@ -306,7 +306,7 @@ LL | const extern "system" fn system() {}
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:214:5
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:213:5
|
||||||
|
|
|
|
||||||
LL | extern "system-unwind" fn system_unwind() {}
|
LL | extern "system-unwind" fn system_unwind() {}
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||||
@ -317,7 +317,7 @@ LL | const extern "system-unwind" fn system_unwind() {}
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:216:5
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:215:5
|
||||||
|
|
|
|
||||||
LL | pub extern "stdcall" fn std_call() {}
|
LL | pub extern "stdcall" fn std_call() {}
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||||
@ -328,7 +328,7 @@ LL | pub const extern "stdcall" fn std_call() {}
|
|||||||
| +++++
|
| +++++
|
||||||
|
|
||||||
error: this could be a `const fn`
|
error: this could be a `const fn`
|
||||||
--> tests/ui/missing_const_for_fn/could_be_const.rs:218:5
|
--> tests/ui/missing_const_for_fn/could_be_const.rs:217:5
|
||||||
|
|
|
|
||||||
LL | pub extern "stdcall-unwind" fn std_call_unwind() {}
|
LL | pub extern "stdcall-unwind" fn std_call_unwind() {}
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||||
|
@ -675,8 +675,6 @@ ui/consts/auxiliary/issue-17718-aux.rs
|
|||||||
ui/consts/auxiliary/issue-63226.rs
|
ui/consts/auxiliary/issue-63226.rs
|
||||||
ui/consts/const-eval/issue-100878.rs
|
ui/consts/const-eval/issue-100878.rs
|
||||||
ui/consts/const-eval/issue-104390.rs
|
ui/consts/const-eval/issue-104390.rs
|
||||||
ui/consts/const-eval/issue-114994-fail.rs
|
|
||||||
ui/consts/const-eval/issue-114994.rs
|
|
||||||
ui/consts/const-eval/issue-43197.rs
|
ui/consts/const-eval/issue-43197.rs
|
||||||
ui/consts/const-eval/issue-44578.rs
|
ui/consts/const-eval/issue-44578.rs
|
||||||
ui/consts/const-eval/issue-47971.rs
|
ui/consts/const-eval/issue-47971.rs
|
||||||
|
@ -1,5 +1,4 @@
|
|||||||
#![allow(incomplete_features)]
|
#![allow(incomplete_features)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
#![feature(adt_const_params, unsized_const_params)]
|
#![feature(adt_const_params, unsized_const_params)]
|
||||||
|
|
||||||
struct T<const B: &'static bool>;
|
struct T<const B: &'static bool>;
|
||||||
|
@ -1,16 +1,16 @@
|
|||||||
error[E0080]: evaluation of constant value failed
|
error[E0080]: evaluation of constant value failed
|
||||||
--> $DIR/issue-100313.rs:10:13
|
--> $DIR/issue-100313.rs:9:13
|
||||||
|
|
|
|
||||||
LL | *(B as *const bool as *mut bool) = false;
|
LL | *(B as *const bool as *mut bool) = false;
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ writing to ALLOC0 which is read-only
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ writing to ALLOC0 which is read-only
|
||||||
|
|
|
|
||||||
note: inside `T::<&true>::set_false`
|
note: inside `T::<&true>::set_false`
|
||||||
--> $DIR/issue-100313.rs:10:13
|
--> $DIR/issue-100313.rs:9:13
|
||||||
|
|
|
|
||||||
LL | *(B as *const bool as *mut bool) = false;
|
LL | *(B as *const bool as *mut bool) = false;
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||||
note: inside `_`
|
note: inside `_`
|
||||||
--> $DIR/issue-100313.rs:18:5
|
--> $DIR/issue-100313.rs:17:5
|
||||||
|
|
|
|
||||||
LL | x.set_false();
|
LL | x.set_false();
|
||||||
| ^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^
|
||||||
|
@ -10,8 +10,6 @@
|
|||||||
// See also ../const-mut-refs-crate.rs for more details
|
// See also ../const-mut-refs-crate.rs for more details
|
||||||
// about this test.
|
// about this test.
|
||||||
|
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
|
|
||||||
// if we used immutable references here, then promotion would
|
// if we used immutable references here, then promotion would
|
||||||
// turn the `&42` into a promoted, which gets duplicated arbitrarily.
|
// turn the `&42` into a promoted, which gets duplicated arbitrarily.
|
||||||
pub static mut FOO: &'static mut i32 = &mut 42;
|
pub static mut FOO: &'static mut i32 = &mut 42;
|
||||||
|
@ -1,10 +1,12 @@
|
|||||||
const A: () = { let mut x = 2; &raw mut x; }; //~ mutable pointer
|
//@check-pass
|
||||||
|
|
||||||
static B: () = { let mut x = 2; &raw mut x; }; //~ mutable pointer
|
const A: () = { let mut x = 2; &raw mut x; };
|
||||||
|
|
||||||
|
static B: () = { let mut x = 2; &raw mut x; };
|
||||||
|
|
||||||
const fn foo() {
|
const fn foo() {
|
||||||
let mut x = 0;
|
let mut x = 0;
|
||||||
let y = &raw mut x; //~ mutable pointer
|
let y = &raw mut x;
|
||||||
}
|
}
|
||||||
|
|
||||||
fn main() {}
|
fn main() {}
|
||||||
|
@ -1,33 +0,0 @@
|
|||||||
error[E0658]: raw mutable pointers are not allowed in constants
|
|
||||||
--> $DIR/const-address-of-mut.rs:1:32
|
|
||||||
|
|
|
||||||
LL | const A: () = { let mut x = 2; &raw mut x; };
|
|
||||||
| ^^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: raw mutable pointers are not allowed in statics
|
|
||||||
--> $DIR/const-address-of-mut.rs:3:33
|
|
||||||
|
|
|
||||||
LL | static B: () = { let mut x = 2; &raw mut x; };
|
|
||||||
| ^^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: raw mutable pointers are not allowed in constant functions
|
|
||||||
--> $DIR/const-address-of-mut.rs:7:13
|
|
||||||
|
|
|
||||||
LL | let y = &raw mut x;
|
|
||||||
| ^^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error: aborting due to 3 previous errors
|
|
||||||
|
|
||||||
For more information about this error, try `rustc --explain E0658`.
|
|
@ -1,6 +1,5 @@
|
|||||||
#![feature(core_intrinsics)]
|
#![feature(core_intrinsics)]
|
||||||
#![feature(const_heap)]
|
#![feature(const_heap)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
use std::intrinsics;
|
use std::intrinsics;
|
||||||
|
|
||||||
const FOO: i32 = foo();
|
const FOO: i32 = foo();
|
||||||
|
@ -1,16 +1,16 @@
|
|||||||
error[E0080]: evaluation of constant value failed
|
error[E0080]: evaluation of constant value failed
|
||||||
--> $DIR/alloc_intrinsic_errors.rs:9:17
|
--> $DIR/alloc_intrinsic_errors.rs:8:17
|
||||||
|
|
|
|
||||||
LL | let _ = intrinsics::const_allocate(4, 3) as *mut i32;
|
LL | let _ = intrinsics::const_allocate(4, 3) as *mut i32;
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ invalid align passed to `const_allocate`: 3 is not a power of 2
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ invalid align passed to `const_allocate`: 3 is not a power of 2
|
||||||
|
|
|
|
||||||
note: inside `foo`
|
note: inside `foo`
|
||||||
--> $DIR/alloc_intrinsic_errors.rs:9:17
|
--> $DIR/alloc_intrinsic_errors.rs:8:17
|
||||||
|
|
|
|
||||||
LL | let _ = intrinsics::const_allocate(4, 3) as *mut i32;
|
LL | let _ = intrinsics::const_allocate(4, 3) as *mut i32;
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||||
note: inside `FOO`
|
note: inside `FOO`
|
||||||
--> $DIR/alloc_intrinsic_errors.rs:6:18
|
--> $DIR/alloc_intrinsic_errors.rs:5:18
|
||||||
|
|
|
|
||||||
LL | const FOO: i32 = foo();
|
LL | const FOO: i32 = foo();
|
||||||
| ^^^^^
|
| ^^^^^
|
||||||
|
@ -1,7 +1,6 @@
|
|||||||
//@ run-pass
|
//@ run-pass
|
||||||
#![feature(core_intrinsics)]
|
#![feature(core_intrinsics)]
|
||||||
#![feature(const_heap)]
|
#![feature(const_heap)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
use std::intrinsics;
|
use std::intrinsics;
|
||||||
|
|
||||||
const FOO: &i32 = foo();
|
const FOO: &i32 = foo();
|
||||||
|
@ -1,7 +1,6 @@
|
|||||||
//@ run-pass
|
//@ run-pass
|
||||||
#![feature(core_intrinsics)]
|
#![feature(core_intrinsics)]
|
||||||
#![feature(const_heap)]
|
#![feature(const_heap)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
use std::intrinsics;
|
use std::intrinsics;
|
||||||
|
|
||||||
const FOO: i32 = foo();
|
const FOO: i32 = foo();
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
error[E0080]: it is undefined behavior to use this value
|
error[E0080]: it is undefined behavior to use this value
|
||||||
--> $DIR/alloc_intrinsic_uninit.rs:8:1
|
--> $DIR/alloc_intrinsic_uninit.rs:7:1
|
||||||
|
|
|
|
||||||
LL | const BAR: &i32 = unsafe { &*(intrinsics::const_allocate(4, 4) as *mut i32) };
|
LL | const BAR: &i32 = unsafe { &*(intrinsics::const_allocate(4, 4) as *mut i32) };
|
||||||
| ^^^^^^^^^^^^^^^ constructing invalid value at .<deref>: encountered uninitialized memory, but expected an integer
|
| ^^^^^^^^^^^^^^^ constructing invalid value at .<deref>: encountered uninitialized memory, but expected an integer
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
error[E0080]: it is undefined behavior to use this value
|
error[E0080]: it is undefined behavior to use this value
|
||||||
--> $DIR/alloc_intrinsic_uninit.rs:8:1
|
--> $DIR/alloc_intrinsic_uninit.rs:7:1
|
||||||
|
|
|
|
||||||
LL | const BAR: &i32 = unsafe { &*(intrinsics::const_allocate(4, 4) as *mut i32) };
|
LL | const BAR: &i32 = unsafe { &*(intrinsics::const_allocate(4, 4) as *mut i32) };
|
||||||
| ^^^^^^^^^^^^^^^ constructing invalid value at .<deref>: encountered uninitialized memory, but expected an integer
|
| ^^^^^^^^^^^^^^^ constructing invalid value at .<deref>: encountered uninitialized memory, but expected an integer
|
||||||
|
@ -2,7 +2,6 @@
|
|||||||
// compile-test
|
// compile-test
|
||||||
#![feature(core_intrinsics)]
|
#![feature(core_intrinsics)]
|
||||||
#![feature(const_heap)]
|
#![feature(const_heap)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
use std::intrinsics;
|
use std::intrinsics;
|
||||||
|
|
||||||
const BAR: &i32 = unsafe { &*(intrinsics::const_allocate(4, 4) as *mut i32) };
|
const BAR: &i32 = unsafe { &*(intrinsics::const_allocate(4, 4) as *mut i32) };
|
||||||
|
@ -1,9 +1,8 @@
|
|||||||
// We unleash Miri here since this test demonstrates code that bypasses the checks against interning
|
// We unleash Miri here since this test demonstrates code that bypasses the checks against interning
|
||||||
// mutable pointers, which currently ICEs. Unleashing Miri silence the ICE.
|
// mutable pointers, which currently ICEs. Unleashing Miri silences the ICE.
|
||||||
//@ compile-flags: -Zunleash-the-miri-inside-of-you
|
//@ compile-flags: -Zunleash-the-miri-inside-of-you
|
||||||
#![feature(core_intrinsics)]
|
#![feature(core_intrinsics)]
|
||||||
#![feature(const_heap)]
|
#![feature(const_heap)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
use std::intrinsics;
|
use std::intrinsics;
|
||||||
|
|
||||||
const BAR: *mut i32 = unsafe { intrinsics::const_allocate(4, 4) as *mut i32 };
|
const BAR: *mut i32 = unsafe { intrinsics::const_allocate(4, 4) as *mut i32 };
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
error: encountered mutable pointer in final value of constant
|
error: encountered mutable pointer in final value of constant
|
||||||
--> $DIR/alloc_intrinsic_untyped.rs:9:1
|
--> $DIR/alloc_intrinsic_untyped.rs:8:1
|
||||||
|
|
|
|
||||||
LL | const BAR: *mut i32 = unsafe { intrinsics::const_allocate(4, 4) as *mut i32 };
|
LL | const BAR: *mut i32 = unsafe { intrinsics::const_allocate(4, 4) as *mut i32 };
|
||||||
| ^^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^^
|
||||||
|
@ -1,7 +1,6 @@
|
|||||||
//@ run-pass
|
//@ run-pass
|
||||||
#![feature(core_intrinsics)]
|
#![feature(core_intrinsics)]
|
||||||
#![feature(const_heap)]
|
#![feature(const_heap)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
|
|
||||||
use std::intrinsics;
|
use std::intrinsics;
|
||||||
|
|
||||||
|
@ -1,6 +1,5 @@
|
|||||||
#![feature(core_intrinsics)]
|
#![feature(core_intrinsics)]
|
||||||
#![feature(const_heap)]
|
#![feature(const_heap)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
|
|
||||||
// Strip out raw byte dumps to make comparison platform-independent:
|
// Strip out raw byte dumps to make comparison platform-independent:
|
||||||
//@ normalize-stderr-test: "(the raw bytes of the constant) \(size: [0-9]*, align: [0-9]*\)" -> "$1 (size: $$SIZE, align: $$ALIGN)"
|
//@ normalize-stderr-test: "(the raw bytes of the constant) \(size: [0-9]*, align: [0-9]*\)" -> "$1 (size: $$SIZE, align: $$ALIGN)"
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
error[E0080]: it is undefined behavior to use this value
|
error[E0080]: it is undefined behavior to use this value
|
||||||
--> $DIR/dealloc_intrinsic_dangling.rs:12:1
|
--> $DIR/dealloc_intrinsic_dangling.rs:11:1
|
||||||
|
|
|
|
||||||
LL | const _X: &'static u8 = unsafe {
|
LL | const _X: &'static u8 = unsafe {
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^ constructing invalid value: encountered a dangling reference (use-after-free)
|
| ^^^^^^^^^^^^^^^^^^^^^ constructing invalid value: encountered a dangling reference (use-after-free)
|
||||||
@ -10,7 +10,7 @@ LL | const _X: &'static u8 = unsafe {
|
|||||||
}
|
}
|
||||||
|
|
||||||
error[E0080]: evaluation of constant value failed
|
error[E0080]: evaluation of constant value failed
|
||||||
--> $DIR/dealloc_intrinsic_dangling.rs:23:5
|
--> $DIR/dealloc_intrinsic_dangling.rs:22:5
|
||||||
|
|
|
|
||||||
LL | *reference
|
LL | *reference
|
||||||
| ^^^^^^^^^^ memory access failed: ALLOC1 has been freed, so this pointer is dangling
|
| ^^^^^^^^^^ memory access failed: ALLOC1 has been freed, so this pointer is dangling
|
||||||
|
@ -1,14 +0,0 @@
|
|||||||
// This checks that function pointer signatures that are referenced mutably
|
|
||||||
// but contain a &mut T parameter still fail in a constant context: see issue #114994.
|
|
||||||
//
|
|
||||||
//@ check-fail
|
|
||||||
|
|
||||||
const fn use_mut_const_fn(_f: &mut fn(&mut String)) { //~ ERROR mutable references are not allowed in constant functions
|
|
||||||
()
|
|
||||||
}
|
|
||||||
|
|
||||||
const fn use_mut_const_tuple_fn(_f: (fn(), &mut u32)) { //~ ERROR mutable references are not allowed in constant functions
|
|
||||||
|
|
||||||
}
|
|
||||||
|
|
||||||
fn main() {}
|
|
@ -1,23 +0,0 @@
|
|||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/issue-114994-fail.rs:6:27
|
|
||||||
|
|
|
||||||
LL | const fn use_mut_const_fn(_f: &mut fn(&mut String)) {
|
|
||||||
| ^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/issue-114994-fail.rs:10:33
|
|
||||||
|
|
|
||||||
LL | const fn use_mut_const_tuple_fn(_f: (fn(), &mut u32)) {
|
|
||||||
| ^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error: aborting due to 2 previous errors
|
|
||||||
|
|
||||||
For more information about this error, try `rustc --explain E0658`.
|
|
@ -1,18 +0,0 @@
|
|||||||
// This checks that function pointer signatures containing &mut T types
|
|
||||||
// work in a constant context: see issue #114994.
|
|
||||||
//
|
|
||||||
//@ check-pass
|
|
||||||
|
|
||||||
const fn use_const_fn(_f: fn(&mut String)) {
|
|
||||||
()
|
|
||||||
}
|
|
||||||
|
|
||||||
const fn get_some_fn() -> fn(&mut String) {
|
|
||||||
String::clear
|
|
||||||
}
|
|
||||||
|
|
||||||
const fn some_const_fn() {
|
|
||||||
let _f: fn(&mut String) = String::clear;
|
|
||||||
}
|
|
||||||
|
|
||||||
fn main() {}
|
|
@ -1,11 +1,16 @@
|
|||||||
|
//@ revisions: stock precise_drops
|
||||||
|
//@[precise_drops] check-pass
|
||||||
|
|
||||||
// This test originated from #65394. We conservatively assume that `x` is still `LiveDrop` even
|
// This test originated from #65394. We conservatively assume that `x` is still `LiveDrop` even
|
||||||
// after it has been moved because a mutable reference to it exists at some point in the const body.
|
// after it has been moved because a mutable reference to it exists at some point in the const body.
|
||||||
//
|
//
|
||||||
// We will likely have to change this behavior before we allow `&mut` in a `const`.
|
// With `&mut` in `const` being stable, this surprising behavior is now observable.
|
||||||
|
// `const_precise_live_drops` fixes that.
|
||||||
|
#![cfg_attr(precise_drops, feature(const_precise_live_drops))]
|
||||||
|
|
||||||
const _: Vec<i32> = {
|
const _: Vec<i32> = {
|
||||||
let mut x = Vec::<i32>::new(); //~ ERROR destructor of
|
let mut x = Vec::<i32>::new(); //[stock]~ ERROR destructor of
|
||||||
let r = &mut x; //~ ERROR mutable references are not allowed in constants
|
let r = &mut x;
|
||||||
let y = x;
|
let y = x;
|
||||||
y
|
y
|
||||||
};
|
};
|
||||||
|
@ -1,23 +0,0 @@
|
|||||||
error[E0658]: mutable references are not allowed in constants
|
|
||||||
--> $DIR/issue-65394.rs:8:13
|
|
||||||
|
|
|
||||||
LL | let r = &mut x;
|
|
||||||
| ^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0493]: destructor of `Vec<i32>` cannot be evaluated at compile-time
|
|
||||||
--> $DIR/issue-65394.rs:7:9
|
|
||||||
|
|
|
||||||
LL | let mut x = Vec::<i32>::new();
|
|
||||||
| ^^^^^ the destructor for this type cannot be evaluated in constants
|
|
||||||
...
|
|
||||||
LL | };
|
|
||||||
| - value is dropped here
|
|
||||||
|
|
||||||
error: aborting due to 2 previous errors
|
|
||||||
|
|
||||||
Some errors have detailed explanations: E0493, E0658.
|
|
||||||
For more information about an error, try `rustc --explain E0493`.
|
|
12
tests/ui/consts/const-eval/issue-65394.stock.stderr
Normal file
12
tests/ui/consts/const-eval/issue-65394.stock.stderr
Normal file
@ -0,0 +1,12 @@
|
|||||||
|
error[E0493]: destructor of `Vec<i32>` cannot be evaluated at compile-time
|
||||||
|
--> $DIR/issue-65394.rs:12:9
|
||||||
|
|
|
||||||
|
LL | let mut x = Vec::<i32>::new();
|
||||||
|
| ^^^^^ the destructor for this type cannot be evaluated in constants
|
||||||
|
...
|
||||||
|
LL | };
|
||||||
|
| - value is dropped here
|
||||||
|
|
||||||
|
error: aborting due to 1 previous error
|
||||||
|
|
||||||
|
For more information about this error, try `rustc --explain E0493`.
|
@ -1,8 +1,6 @@
|
|||||||
// New test for #53818: modifying static memory at compile-time is not allowed.
|
// New test for #53818: modifying static memory at compile-time is not allowed.
|
||||||
// The test should never compile successfully
|
// The test should never compile successfully
|
||||||
|
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
|
|
||||||
use std::cell::UnsafeCell;
|
use std::cell::UnsafeCell;
|
||||||
|
|
||||||
struct Foo(UnsafeCell<u32>);
|
struct Foo(UnsafeCell<u32>);
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
error[E0080]: could not evaluate static initializer
|
error[E0080]: could not evaluate static initializer
|
||||||
--> $DIR/mod-static-with-const-fn.rs:16:5
|
--> $DIR/mod-static-with-const-fn.rs:14:5
|
||||||
|
|
|
|
||||||
LL | *FOO.0.get() = 5;
|
LL | *FOO.0.get() = 5;
|
||||||
| ^^^^^^^^^^^^^^^^ modifying a static's initial value from another static's initializer
|
| ^^^^^^^^^^^^^^^^ modifying a static's initial value from another static's initializer
|
||||||
|
@ -4,8 +4,6 @@
|
|||||||
// its address may be taken and it may be written to indirectly. Ensure that the const-eval
|
// its address may be taken and it may be written to indirectly. Ensure that the const-eval
|
||||||
// interpreter can handle this.
|
// interpreter can handle this.
|
||||||
|
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
|
|
||||||
#[inline(never)] // Try to ensure that MIR optimizations don't optimize this away.
|
#[inline(never)] // Try to ensure that MIR optimizations don't optimize this away.
|
||||||
const fn init(buf: &mut [u8; 1024]) {
|
const fn init(buf: &mut [u8; 1024]) {
|
||||||
buf[33] = 3;
|
buf[33] = 3;
|
||||||
|
@ -1,5 +1,4 @@
|
|||||||
// Test for the behavior described in <https://github.com/rust-lang/rust/issues/87184>.
|
// Test for the behavior described in <https://github.com/rust-lang/rust/issues/87184>.
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
|
|
||||||
const PARTIAL_OVERWRITE: () = {
|
const PARTIAL_OVERWRITE: () = {
|
||||||
let mut p = &42;
|
let mut p = &42;
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
error[E0080]: evaluation of constant value failed
|
error[E0080]: evaluation of constant value failed
|
||||||
--> $DIR/partial_ptr_overwrite.rs:8:9
|
--> $DIR/partial_ptr_overwrite.rs:7:9
|
||||||
|
|
|
|
||||||
LL | *(ptr as *mut u8) = 123;
|
LL | *(ptr as *mut u8) = 123;
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^ unable to overwrite parts of a pointer in memory at ALLOC0
|
| ^^^^^^^^^^^^^^^^^^^^^^^ unable to overwrite parts of a pointer in memory at ALLOC0
|
||||||
|
@ -1,4 +1,4 @@
|
|||||||
#![feature(const_mut_refs, const_intrinsic_copy)]
|
#![feature(const_intrinsic_copy)]
|
||||||
|
|
||||||
|
|
||||||
const MISALIGNED_LOAD: () = unsafe {
|
const MISALIGNED_LOAD: () = unsafe {
|
||||||
|
@ -1,5 +1,3 @@
|
|||||||
#![feature(const_mut_refs)]
|
|
||||||
|
|
||||||
enum E {
|
enum E {
|
||||||
A(u8),
|
A(u8),
|
||||||
B,
|
B,
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
error[E0080]: evaluation of constant value failed
|
error[E0080]: evaluation of constant value failed
|
||||||
--> $DIR/ub-enum-overwrite.rs:13:14
|
--> $DIR/ub-enum-overwrite.rs:11:14
|
||||||
|
|
|
|
||||||
LL | unsafe { *p }
|
LL | unsafe { *p }
|
||||||
| ^^ using uninitialized data, but this operation requires initialized memory
|
| ^^ using uninitialized data, but this operation requires initialized memory
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
//! Ensure we catch UB due to writing through a shared reference.
|
//! Ensure we catch UB due to writing through a shared reference.
|
||||||
#![feature(const_mut_refs, const_refs_to_cell)]
|
#![feature(const_refs_to_cell)]
|
||||||
#![allow(invalid_reference_casting)]
|
#![allow(invalid_reference_casting)]
|
||||||
|
|
||||||
use std::mem;
|
use std::mem;
|
||||||
|
@ -5,7 +5,6 @@ const fn f(x: usize) -> usize {
|
|||||||
for i in 0..x {
|
for i in 0..x {
|
||||||
//~^ ERROR cannot convert
|
//~^ ERROR cannot convert
|
||||||
//~| ERROR `for` is not allowed in a `const fn`
|
//~| ERROR `for` is not allowed in a `const fn`
|
||||||
//~| ERROR mutable references are not allowed in constant functions
|
|
||||||
//~| ERROR cannot call non-const fn
|
//~| ERROR cannot call non-const fn
|
||||||
sum += i;
|
sum += i;
|
||||||
}
|
}
|
||||||
|
@ -5,7 +5,6 @@ LL | / for i in 0..x {
|
|||||||
LL | |
|
LL | |
|
||||||
LL | |
|
LL | |
|
||||||
LL | |
|
LL | |
|
||||||
LL | |
|
|
||||||
LL | | sum += i;
|
LL | | sum += i;
|
||||||
LL | | }
|
LL | | }
|
||||||
| |_____^
|
| |_____^
|
||||||
@ -28,16 +27,6 @@ help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
|
|||||||
LL + #![feature(const_trait_impl)]
|
LL + #![feature(const_trait_impl)]
|
||||||
|
|
|
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/const-fn-error.rs:5:14
|
|
||||||
|
|
|
||||||
LL | for i in 0..x {
|
|
||||||
| ^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0015]: cannot call non-const fn `<std::ops::Range<usize> as Iterator>::next` in constant functions
|
error[E0015]: cannot call non-const fn `<std::ops::Range<usize> as Iterator>::next` in constant functions
|
||||||
--> $DIR/const-fn-error.rs:5:14
|
--> $DIR/const-fn-error.rs:5:14
|
||||||
|
|
|
|
||||||
@ -50,7 +39,7 @@ help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
|
|||||||
LL + #![feature(const_trait_impl)]
|
LL + #![feature(const_trait_impl)]
|
||||||
|
|
|
|
||||||
|
|
||||||
error: aborting due to 4 previous errors
|
error: aborting due to 3 previous errors
|
||||||
|
|
||||||
Some errors have detailed explanations: E0015, E0658.
|
Some errors have detailed explanations: E0015, E0658.
|
||||||
For more information about an error, try `rustc --explain E0015`.
|
For more information about an error, try `rustc --explain E0015`.
|
||||||
|
@ -5,7 +5,6 @@ const _: () = {
|
|||||||
//~^ error: `for` is not allowed in a `const`
|
//~^ error: `for` is not allowed in a `const`
|
||||||
//~| ERROR: cannot convert
|
//~| ERROR: cannot convert
|
||||||
//~| ERROR: cannot call
|
//~| ERROR: cannot call
|
||||||
//~| ERROR: mutable references
|
|
||||||
};
|
};
|
||||||
|
|
||||||
fn main() {}
|
fn main() {}
|
||||||
|
@ -22,16 +22,6 @@ help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
|
|||||||
LL + #![feature(const_trait_impl)]
|
LL + #![feature(const_trait_impl)]
|
||||||
|
|
|
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constants
|
|
||||||
--> $DIR/const-for-feature-gate.rs:4:14
|
|
||||||
|
|
|
||||||
LL | for _ in 0..5 {}
|
|
||||||
| ^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0015]: cannot call non-const fn `<std::ops::Range<i32> as Iterator>::next` in constants
|
error[E0015]: cannot call non-const fn `<std::ops::Range<i32> as Iterator>::next` in constants
|
||||||
--> $DIR/const-for-feature-gate.rs:4:14
|
--> $DIR/const-for-feature-gate.rs:4:14
|
||||||
|
|
|
|
||||||
@ -44,7 +34,7 @@ help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
|
|||||||
LL + #![feature(const_trait_impl)]
|
LL + #![feature(const_trait_impl)]
|
||||||
|
|
|
|
||||||
|
|
||||||
error: aborting due to 4 previous errors
|
error: aborting due to 3 previous errors
|
||||||
|
|
||||||
Some errors have detailed explanations: E0015, E0658.
|
Some errors have detailed explanations: E0015, E0658.
|
||||||
For more information about an error, try `rustc --explain E0015`.
|
For more information about an error, try `rustc --explain E0015`.
|
||||||
|
@ -1,5 +1,4 @@
|
|||||||
#![feature(const_for)]
|
#![feature(const_for)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
|
|
||||||
const _: () = {
|
const _: () = {
|
||||||
for _ in 0..5 {}
|
for _ in 0..5 {}
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
error[E0015]: cannot convert `std::ops::Range<i32>` into an iterator in constants
|
error[E0015]: cannot convert `std::ops::Range<i32>` into an iterator in constants
|
||||||
--> $DIR/const-for.rs:5:14
|
--> $DIR/const-for.rs:4:14
|
||||||
|
|
|
|
||||||
LL | for _ in 0..5 {}
|
LL | for _ in 0..5 {}
|
||||||
| ^^^^
|
| ^^^^
|
||||||
@ -13,7 +13,7 @@ LL + #![feature(const_trait_impl)]
|
|||||||
|
|
|
|
||||||
|
|
||||||
error[E0015]: cannot call non-const fn `<std::ops::Range<i32> as Iterator>::next` in constants
|
error[E0015]: cannot call non-const fn `<std::ops::Range<i32> as Iterator>::next` in constants
|
||||||
--> $DIR/const-for.rs:5:14
|
--> $DIR/const-for.rs:4:14
|
||||||
|
|
|
|
||||||
LL | for _ in 0..5 {}
|
LL | for _ in 0..5 {}
|
||||||
| ^^^^
|
| ^^^^
|
||||||
|
@ -1,24 +0,0 @@
|
|||||||
// Ensure that we point the user to the erroneous borrow but not to any subsequent borrows of that
|
|
||||||
// initial one.
|
|
||||||
|
|
||||||
const _: i32 = {
|
|
||||||
let mut a = 5;
|
|
||||||
let p = &mut a; //~ ERROR mutable references are not allowed in constants
|
|
||||||
|
|
||||||
let reborrow = {p};
|
|
||||||
let pp = &reborrow;
|
|
||||||
let ppp = &pp;
|
|
||||||
***ppp
|
|
||||||
};
|
|
||||||
|
|
||||||
const _: std::cell::Cell<i32> = {
|
|
||||||
let mut a = std::cell::Cell::new(5);
|
|
||||||
let p = &a; //~ ERROR borrowed element may contain interior mutability
|
|
||||||
|
|
||||||
let reborrow = {p};
|
|
||||||
let pp = &reborrow;
|
|
||||||
let ppp = &pp;
|
|
||||||
a
|
|
||||||
};
|
|
||||||
|
|
||||||
fn main() {}
|
|
@ -1,23 +0,0 @@
|
|||||||
error[E0658]: mutable references are not allowed in constants
|
|
||||||
--> $DIR/const-multi-ref.rs:6:13
|
|
||||||
|
|
|
||||||
LL | let p = &mut a;
|
|
||||||
| ^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: cannot borrow here, since the borrowed element may contain interior mutability
|
|
||||||
--> $DIR/const-multi-ref.rs:16:13
|
|
||||||
|
|
|
||||||
LL | let p = &a;
|
|
||||||
| ^^
|
|
||||||
|
|
|
||||||
= note: see issue #80384 <https://github.com/rust-lang/rust/issues/80384> for more information
|
|
||||||
= help: add `#![feature(const_refs_to_cell)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error: aborting due to 2 previous errors
|
|
||||||
|
|
||||||
For more information about this error, try `rustc --explain E0658`.
|
|
@ -1,8 +1,6 @@
|
|||||||
//@ run-pass
|
//@ run-pass
|
||||||
//@ aux-build:const_mut_refs_crate.rs
|
//@ aux-build:const_mut_refs_crate.rs
|
||||||
|
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
|
|
||||||
//! Regression test for https://github.com/rust-lang/rust/issues/79738
|
//! Regression test for https://github.com/rust-lang/rust/issues/79738
|
||||||
//! Show how we are not duplicating allocations anymore. Statics that
|
//! Show how we are not duplicating allocations anymore. Statics that
|
||||||
//! copy their value from another static used to also duplicate
|
//! copy their value from another static used to also duplicate
|
||||||
|
@ -1,5 +1,4 @@
|
|||||||
//@ check-pass
|
//@ check-pass
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
|
|
||||||
struct Foo {
|
struct Foo {
|
||||||
x: usize
|
x: usize
|
||||||
|
@ -1,5 +1,4 @@
|
|||||||
//@ check-pass
|
//@ check-pass
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
|
|
||||||
use std::sync::Mutex;
|
use std::sync::Mutex;
|
||||||
|
|
||||||
|
@ -1,8 +0,0 @@
|
|||||||
fn main() {
|
|
||||||
foo(&mut 5);
|
|
||||||
}
|
|
||||||
|
|
||||||
const fn foo(x: &mut i32) -> i32 { //~ ERROR mutable references
|
|
||||||
*x + 1
|
|
||||||
|
|
||||||
}
|
|
@ -1,13 +0,0 @@
|
|||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/feature-gate-const_mut_refs.rs:5:14
|
|
||||||
|
|
|
||||||
LL | const fn foo(x: &mut i32) -> i32 {
|
|
||||||
| ^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error: aborting due to 1 previous error
|
|
||||||
|
|
||||||
For more information about this error, try `rustc --explain E0658`.
|
|
@ -2,7 +2,6 @@ use std::mem::{transmute, ManuallyDrop};
|
|||||||
|
|
||||||
const S: &'static mut str = &mut " hello ";
|
const S: &'static mut str = &mut " hello ";
|
||||||
//~^ ERROR: mutable references are not allowed in the final value of constants
|
//~^ ERROR: mutable references are not allowed in the final value of constants
|
||||||
//~| ERROR: mutation through a reference is not allowed in constants
|
|
||||||
|
|
||||||
const fn trigger() -> [(); unsafe {
|
const fn trigger() -> [(); unsafe {
|
||||||
let s = transmute::<(*const u8, usize), &ManuallyDrop<str>>((S.as_ptr(), 3));
|
let s = transmute::<(*const u8, usize), &ManuallyDrop<str>>((S.as_ptr(), 3));
|
||||||
|
@ -4,17 +4,6 @@ error[E0764]: mutable references are not allowed in the final value of constants
|
|||||||
LL | const S: &'static mut str = &mut " hello ";
|
LL | const S: &'static mut str = &mut " hello ";
|
||||||
| ^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^
|
||||||
|
|
||||||
error[E0658]: mutation through a reference is not allowed in constants
|
error: aborting due to 1 previous error
|
||||||
--> $DIR/issue-76510.rs:3:29
|
|
||||||
|
|
|
||||||
LL | const S: &'static mut str = &mut " hello ";
|
|
||||||
| ^^^^^^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error: aborting due to 2 previous errors
|
For more information about this error, try `rustc --explain E0764`.
|
||||||
|
|
||||||
Some errors have detailed explanations: E0658, E0764.
|
|
||||||
For more information about an error, try `rustc --explain E0658`.
|
|
||||||
|
@ -1,4 +1,4 @@
|
|||||||
#![feature(const_mut_refs)]
|
use std::cell::UnsafeCell;
|
||||||
|
|
||||||
const NULL: *mut i32 = std::ptr::null_mut();
|
const NULL: *mut i32 = std::ptr::null_mut();
|
||||||
const A: *const i32 = &4;
|
const A: *const i32 = &4;
|
||||||
@ -25,7 +25,14 @@ const C: *const i32 = &{
|
|||||||
x
|
x
|
||||||
};
|
};
|
||||||
|
|
||||||
use std::cell::UnsafeCell;
|
// Still ok, since `x` will be moved before the final pointer is crated,
|
||||||
|
// so `_ref` doesn't actually point to the memory that escapes.
|
||||||
|
const C_NO: *const i32 = &{
|
||||||
|
let mut x = 42;
|
||||||
|
let _ref = &mut x;
|
||||||
|
x
|
||||||
|
};
|
||||||
|
|
||||||
struct NotAMutex<T>(UnsafeCell<T>);
|
struct NotAMutex<T>(UnsafeCell<T>);
|
||||||
|
|
||||||
unsafe impl<T> Sync for NotAMutex<T> {}
|
unsafe impl<T> Sync for NotAMutex<T> {}
|
||||||
|
@ -25,7 +25,7 @@ LL | const B4: Option<&mut i32> = helper(&mut 42);
|
|||||||
| using this value as a constant requires that borrow lasts for `'static`
|
| using this value as a constant requires that borrow lasts for `'static`
|
||||||
|
|
||||||
error[E0716]: temporary value dropped while borrowed
|
error[E0716]: temporary value dropped while borrowed
|
||||||
--> $DIR/mut_ref_in_final.rs:33:65
|
--> $DIR/mut_ref_in_final.rs:40:65
|
||||||
|
|
|
|
||||||
LL | const FOO: NotAMutex<&mut i32> = NotAMutex(UnsafeCell::new(&mut 42));
|
LL | const FOO: NotAMutex<&mut i32> = NotAMutex(UnsafeCell::new(&mut 42));
|
||||||
| -------------------------------^^--
|
| -------------------------------^^--
|
||||||
@ -35,7 +35,7 @@ LL | const FOO: NotAMutex<&mut i32> = NotAMutex(UnsafeCell::new(&mut 42));
|
|||||||
| using this value as a constant requires that borrow lasts for `'static`
|
| using this value as a constant requires that borrow lasts for `'static`
|
||||||
|
|
||||||
error[E0716]: temporary value dropped while borrowed
|
error[E0716]: temporary value dropped while borrowed
|
||||||
--> $DIR/mut_ref_in_final.rs:36:67
|
--> $DIR/mut_ref_in_final.rs:43:67
|
||||||
|
|
|
|
||||||
LL | static FOO2: NotAMutex<&mut i32> = NotAMutex(UnsafeCell::new(&mut 42));
|
LL | static FOO2: NotAMutex<&mut i32> = NotAMutex(UnsafeCell::new(&mut 42));
|
||||||
| -------------------------------^^--
|
| -------------------------------^^--
|
||||||
@ -45,7 +45,7 @@ LL | static FOO2: NotAMutex<&mut i32> = NotAMutex(UnsafeCell::new(&mut 42));
|
|||||||
| using this value as a static requires that borrow lasts for `'static`
|
| using this value as a static requires that borrow lasts for `'static`
|
||||||
|
|
||||||
error[E0716]: temporary value dropped while borrowed
|
error[E0716]: temporary value dropped while borrowed
|
||||||
--> $DIR/mut_ref_in_final.rs:39:71
|
--> $DIR/mut_ref_in_final.rs:46:71
|
||||||
|
|
|
|
||||||
LL | static mut FOO3: NotAMutex<&mut i32> = NotAMutex(UnsafeCell::new(&mut 42));
|
LL | static mut FOO3: NotAMutex<&mut i32> = NotAMutex(UnsafeCell::new(&mut 42));
|
||||||
| -------------------------------^^--
|
| -------------------------------^^--
|
||||||
@ -55,25 +55,25 @@ LL | static mut FOO3: NotAMutex<&mut i32> = NotAMutex(UnsafeCell::new(&mut 42));
|
|||||||
| using this value as a static requires that borrow lasts for `'static`
|
| using this value as a static requires that borrow lasts for `'static`
|
||||||
|
|
||||||
error[E0764]: mutable references are not allowed in the final value of statics
|
error[E0764]: mutable references are not allowed in the final value of statics
|
||||||
--> $DIR/mut_ref_in_final.rs:52:53
|
--> $DIR/mut_ref_in_final.rs:59:53
|
||||||
|
|
|
|
||||||
LL | static RAW_MUT_CAST_S: SyncPtr<i32> = SyncPtr { x : &mut 42 as *mut _ as *const _ };
|
LL | static RAW_MUT_CAST_S: SyncPtr<i32> = SyncPtr { x : &mut 42 as *mut _ as *const _ };
|
||||||
| ^^^^^^^
|
| ^^^^^^^
|
||||||
|
|
||||||
error[E0764]: mutable references are not allowed in the final value of statics
|
error[E0764]: mutable references are not allowed in the final value of statics
|
||||||
--> $DIR/mut_ref_in_final.rs:54:54
|
--> $DIR/mut_ref_in_final.rs:61:54
|
||||||
|
|
|
|
||||||
LL | static RAW_MUT_COERCE_S: SyncPtr<i32> = SyncPtr { x: &mut 0 };
|
LL | static RAW_MUT_COERCE_S: SyncPtr<i32> = SyncPtr { x: &mut 0 };
|
||||||
| ^^^^^^
|
| ^^^^^^
|
||||||
|
|
||||||
error[E0764]: mutable references are not allowed in the final value of constants
|
error[E0764]: mutable references are not allowed in the final value of constants
|
||||||
--> $DIR/mut_ref_in_final.rs:56:52
|
--> $DIR/mut_ref_in_final.rs:63:52
|
||||||
|
|
|
|
||||||
LL | const RAW_MUT_CAST_C: SyncPtr<i32> = SyncPtr { x : &mut 42 as *mut _ as *const _ };
|
LL | const RAW_MUT_CAST_C: SyncPtr<i32> = SyncPtr { x : &mut 42 as *mut _ as *const _ };
|
||||||
| ^^^^^^^
|
| ^^^^^^^
|
||||||
|
|
||||||
error[E0764]: mutable references are not allowed in the final value of constants
|
error[E0764]: mutable references are not allowed in the final value of constants
|
||||||
--> $DIR/mut_ref_in_final.rs:58:53
|
--> $DIR/mut_ref_in_final.rs:65:53
|
||||||
|
|
|
|
||||||
LL | const RAW_MUT_COERCE_C: SyncPtr<i32> = SyncPtr { x: &mut 0 };
|
LL | const RAW_MUT_COERCE_C: SyncPtr<i32> = SyncPtr { x: &mut 0 };
|
||||||
| ^^^^^^
|
| ^^^^^^
|
||||||
|
@ -1,7 +1,7 @@
|
|||||||
//@ normalize-stderr-test: "(the raw bytes of the constant) \(size: [0-9]*, align: [0-9]*\)" -> "$1 (size: $$SIZE, align: $$ALIGN)"
|
//@ normalize-stderr-test: "(the raw bytes of the constant) \(size: [0-9]*, align: [0-9]*\)" -> "$1 (size: $$SIZE, align: $$ALIGN)"
|
||||||
//@ normalize-stderr-test: "( 0x[0-9a-f][0-9a-f] │)? ([0-9a-f][0-9a-f] |__ |╾─*ALLOC[0-9]+(\+[a-z0-9]+)?(<imm>)?─*╼ )+ *│.*" -> " HEX_DUMP"
|
//@ normalize-stderr-test: "( 0x[0-9a-f][0-9a-f] │)? ([0-9a-f][0-9a-f] |__ |╾─*ALLOC[0-9]+(\+[a-z0-9]+)?(<imm>)?─*╼ )+ *│.*" -> " HEX_DUMP"
|
||||||
//@ normalize-stderr-test: "HEX_DUMP\s*\n\s*HEX_DUMP" -> "HEX_DUMP"
|
//@ normalize-stderr-test: "HEX_DUMP\s*\n\s*HEX_DUMP" -> "HEX_DUMP"
|
||||||
#![feature(const_mut_refs, const_refs_to_static)]
|
#![feature(const_refs_to_static)]
|
||||||
|
|
||||||
use std::sync::Mutex;
|
use std::sync::Mutex;
|
||||||
|
|
||||||
|
@ -1,6 +1,6 @@
|
|||||||
//@check-pass
|
//@check-pass
|
||||||
//! This is the reduced version of the "Linux kernel vtable" use-case.
|
//! This is the reduced version of the "Linux kernel vtable" use-case.
|
||||||
#![feature(const_mut_refs, const_refs_to_static)]
|
#![feature(const_refs_to_static)]
|
||||||
use std::ptr::addr_of_mut;
|
use std::ptr::addr_of_mut;
|
||||||
|
|
||||||
#[repr(C)]
|
#[repr(C)]
|
||||||
|
@ -1,7 +1,10 @@
|
|||||||
|
use std::cell::Cell;
|
||||||
|
|
||||||
const WRITE: () = unsafe {
|
const WRITE: () = unsafe {
|
||||||
*std::ptr::null_mut() = 0;
|
let x = Cell::new(0);
|
||||||
//~^ ERROR dereferencing raw mutable pointers in constants is unstable
|
let y = &x;
|
||||||
//~| HELP add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
//~^ ERROR interior mutability
|
||||||
|
//~| HELP add `#![feature(const_refs_to_cell)]` to the crate attributes to enable
|
||||||
};
|
};
|
||||||
|
|
||||||
fn main() {}
|
fn main() {}
|
||||||
|
@ -1,11 +1,11 @@
|
|||||||
error[E0658]: dereferencing raw mutable pointers in constants is unstable
|
error[E0658]: cannot borrow here, since the borrowed element may contain interior mutability
|
||||||
--> $DIR/const-suggest-feature.rs:2:5
|
--> $DIR/const-suggest-feature.rs:5:13
|
||||||
|
|
|
|
||||||
LL | *std::ptr::null_mut() = 0;
|
LL | let y = &x;
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^
|
| ^^
|
||||||
|
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
= note: see issue #80384 <https://github.com/rust-lang/rust/issues/80384> for more information
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
= help: add `#![feature(const_refs_to_cell)]` to the crate attributes to enable
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
||||||
|
|
||||||
error: aborting due to 1 previous error
|
error: aborting due to 1 previous error
|
||||||
|
@ -1,23 +1,24 @@
|
|||||||
|
//@ check-pass
|
||||||
|
|
||||||
struct S {
|
struct S {
|
||||||
state: u32,
|
state: u32,
|
||||||
}
|
}
|
||||||
|
|
||||||
impl S {
|
impl S {
|
||||||
const fn foo(&mut self, x: u32) {
|
const fn foo(&mut self, x: u32) {
|
||||||
//~^ ERROR mutable reference
|
|
||||||
self.state = x;
|
self.state = x;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
const FOO: S = {
|
const FOO: S = {
|
||||||
let mut s = S { state: 42 };
|
let mut s = S { state: 42 };
|
||||||
s.foo(3); //~ ERROR mutable reference
|
s.foo(3);
|
||||||
s
|
s
|
||||||
};
|
};
|
||||||
|
|
||||||
type Array = [u32; {
|
type Array = [u32; {
|
||||||
let mut x = 2;
|
let mut x = 2;
|
||||||
let y = &mut x; //~ ERROR mutable reference
|
let y = &mut x;
|
||||||
*y = 42;
|
*y = 42;
|
||||||
*y
|
*y
|
||||||
}];
|
}];
|
||||||
|
@ -1,33 +0,0 @@
|
|||||||
error[E0658]: mutable references are not allowed in constants
|
|
||||||
--> $DIR/const_let_assign3.rs:14:5
|
|
||||||
|
|
|
||||||
LL | s.foo(3);
|
|
||||||
| ^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/const_let_assign3.rs:6:18
|
|
||||||
|
|
|
||||||
LL | const fn foo(&mut self, x: u32) {
|
|
||||||
| ^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constants
|
|
||||||
--> $DIR/const_let_assign3.rs:20:13
|
|
||||||
|
|
|
||||||
LL | let y = &mut x;
|
|
||||||
| ^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error: aborting due to 3 previous errors
|
|
||||||
|
|
||||||
For more information about this error, try `rustc --explain E0658`.
|
|
@ -1,6 +1,6 @@
|
|||||||
//@ normalize-stderr-test: "(the raw bytes of the constant) \(size: [0-9]*, align: [0-9]*\)" -> "$1 (size: $$SIZE, align: $$ALIGN)"
|
//@ normalize-stderr-test: "(the raw bytes of the constant) \(size: [0-9]*, align: [0-9]*\)" -> "$1 (size: $$SIZE, align: $$ALIGN)"
|
||||||
//@ normalize-stderr-test: "([0-9a-f][0-9a-f] |╾─*ALLOC[0-9]+(\+[a-z0-9]+)?(<imm>)?─*╼ )+ *│.*" -> "HEX_DUMP"
|
//@ normalize-stderr-test: "([0-9a-f][0-9a-f] |╾─*ALLOC[0-9]+(\+[a-z0-9]+)?(<imm>)?─*╼ )+ *│.*" -> "HEX_DUMP"
|
||||||
#![feature(const_refs_to_static, const_mut_refs, sync_unsafe_cell)]
|
#![feature(const_refs_to_static, sync_unsafe_cell)]
|
||||||
use std::cell::SyncUnsafeCell;
|
use std::cell::SyncUnsafeCell;
|
||||||
|
|
||||||
static S: SyncUnsafeCell<i32> = SyncUnsafeCell::new(0);
|
static S: SyncUnsafeCell<i32> = SyncUnsafeCell::new(0);
|
||||||
|
@ -52,14 +52,12 @@ const _: i32 = {
|
|||||||
|
|
||||||
for i in 0..4 { //~ ERROR `for` is not allowed in a `const`
|
for i in 0..4 { //~ ERROR `for` is not allowed in a `const`
|
||||||
//~^ ERROR: cannot call
|
//~^ ERROR: cannot call
|
||||||
//~| ERROR: mutable references
|
|
||||||
//~| ERROR: cannot convert
|
//~| ERROR: cannot convert
|
||||||
x += i;
|
x += i;
|
||||||
}
|
}
|
||||||
|
|
||||||
for i in 0..4 { //~ ERROR `for` is not allowed in a `const`
|
for i in 0..4 { //~ ERROR `for` is not allowed in a `const`
|
||||||
//~^ ERROR: cannot call
|
//~^ ERROR: cannot call
|
||||||
//~| ERROR: mutable references
|
|
||||||
//~| ERROR: cannot convert
|
//~| ERROR: cannot convert
|
||||||
x += i;
|
x += i;
|
||||||
}
|
}
|
||||||
|
@ -4,7 +4,6 @@ error[E0658]: `for` is not allowed in a `const`
|
|||||||
LL | / for i in 0..4 {
|
LL | / for i in 0..4 {
|
||||||
LL | |
|
LL | |
|
||||||
LL | |
|
LL | |
|
||||||
LL | |
|
|
||||||
LL | | x += i;
|
LL | | x += i;
|
||||||
LL | | }
|
LL | | }
|
||||||
| |_____^
|
| |_____^
|
||||||
@ -14,12 +13,11 @@ LL | | }
|
|||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
||||||
|
|
||||||
error[E0658]: `for` is not allowed in a `const`
|
error[E0658]: `for` is not allowed in a `const`
|
||||||
--> $DIR/loop.rs:60:5
|
--> $DIR/loop.rs:59:5
|
||||||
|
|
|
|
||||||
LL | / for i in 0..4 {
|
LL | / for i in 0..4 {
|
||||||
LL | |
|
LL | |
|
||||||
LL | |
|
LL | |
|
||||||
LL | |
|
|
||||||
LL | | x += i;
|
LL | | x += i;
|
||||||
LL | | }
|
LL | | }
|
||||||
| |_____^
|
| |_____^
|
||||||
@ -42,16 +40,6 @@ help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
|
|||||||
LL + #![feature(const_trait_impl)]
|
LL + #![feature(const_trait_impl)]
|
||||||
|
|
|
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constants
|
|
||||||
--> $DIR/loop.rs:53:14
|
|
||||||
|
|
|
||||||
LL | for i in 0..4 {
|
|
||||||
| ^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0015]: cannot call non-const fn `<std::ops::Range<i32> as Iterator>::next` in constants
|
error[E0015]: cannot call non-const fn `<std::ops::Range<i32> as Iterator>::next` in constants
|
||||||
--> $DIR/loop.rs:53:14
|
--> $DIR/loop.rs:53:14
|
||||||
|
|
|
|
||||||
@ -65,7 +53,7 @@ LL + #![feature(const_trait_impl)]
|
|||||||
|
|
|
|
||||||
|
|
||||||
error[E0015]: cannot convert `std::ops::Range<i32>` into an iterator in constants
|
error[E0015]: cannot convert `std::ops::Range<i32>` into an iterator in constants
|
||||||
--> $DIR/loop.rs:60:14
|
--> $DIR/loop.rs:59:14
|
||||||
|
|
|
|
||||||
LL | for i in 0..4 {
|
LL | for i in 0..4 {
|
||||||
| ^^^^
|
| ^^^^
|
||||||
@ -78,18 +66,8 @@ help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
|
|||||||
LL + #![feature(const_trait_impl)]
|
LL + #![feature(const_trait_impl)]
|
||||||
|
|
|
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constants
|
|
||||||
--> $DIR/loop.rs:60:14
|
|
||||||
|
|
|
||||||
LL | for i in 0..4 {
|
|
||||||
| ^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0015]: cannot call non-const fn `<std::ops::Range<i32> as Iterator>::next` in constants
|
error[E0015]: cannot call non-const fn `<std::ops::Range<i32> as Iterator>::next` in constants
|
||||||
--> $DIR/loop.rs:60:14
|
--> $DIR/loop.rs:59:14
|
||||||
|
|
|
|
||||||
LL | for i in 0..4 {
|
LL | for i in 0..4 {
|
||||||
| ^^^^
|
| ^^^^
|
||||||
@ -100,7 +78,7 @@ help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
|
|||||||
LL + #![feature(const_trait_impl)]
|
LL + #![feature(const_trait_impl)]
|
||||||
|
|
|
|
||||||
|
|
||||||
error: aborting due to 8 previous errors
|
error: aborting due to 6 previous errors
|
||||||
|
|
||||||
Some errors have detailed explanations: E0015, E0658.
|
Some errors have detailed explanations: E0015, E0658.
|
||||||
For more information about an error, try `rustc --explain E0015`.
|
For more information about an error, try `rustc --explain E0015`.
|
||||||
|
@ -2,7 +2,6 @@
|
|||||||
|
|
||||||
// ignore-tidy-linelength
|
// ignore-tidy-linelength
|
||||||
#![feature(intrinsics, staged_api)]
|
#![feature(intrinsics, staged_api)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
use std::mem;
|
use std::mem;
|
||||||
|
|
||||||
extern "rust-intrinsic" {
|
extern "rust-intrinsic" {
|
||||||
|
@ -1,23 +1,23 @@
|
|||||||
error[E0080]: evaluation of constant value failed
|
error[E0080]: evaluation of constant value failed
|
||||||
--> $DIR/copy-intrinsic.rs:29:5
|
--> $DIR/copy-intrinsic.rs:28:5
|
||||||
|
|
|
|
||||||
LL | copy_nonoverlapping(0x100 as *const i32, dangle, 1);
|
LL | copy_nonoverlapping(0x100 as *const i32, dangle, 1);
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ memory access failed: expected a pointer to 4 bytes of memory, but got 0x100[noalloc] which is a dangling pointer (it has no provenance)
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ memory access failed: expected a pointer to 4 bytes of memory, but got 0x100[noalloc] which is a dangling pointer (it has no provenance)
|
||||||
|
|
||||||
error[E0080]: evaluation of constant value failed
|
error[E0080]: evaluation of constant value failed
|
||||||
--> $DIR/copy-intrinsic.rs:38:5
|
--> $DIR/copy-intrinsic.rs:37:5
|
||||||
|
|
|
|
||||||
LL | copy_nonoverlapping(dangle, 0x100 as *mut i32, 1);
|
LL | copy_nonoverlapping(dangle, 0x100 as *mut i32, 1);
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ memory access failed: expected a pointer to 4 bytes of memory, but got ALLOC0+0x28 which is at or beyond the end of the allocation of size 4 bytes
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ memory access failed: expected a pointer to 4 bytes of memory, but got ALLOC0+0x28 which is at or beyond the end of the allocation of size 4 bytes
|
||||||
|
|
||||||
error[E0080]: evaluation of constant value failed
|
error[E0080]: evaluation of constant value failed
|
||||||
--> $DIR/copy-intrinsic.rs:45:5
|
--> $DIR/copy-intrinsic.rs:44:5
|
||||||
|
|
|
|
||||||
LL | copy(&x, &mut y, 1usize << (mem::size_of::<usize>() * 8 - 1));
|
LL | copy(&x, &mut y, 1usize << (mem::size_of::<usize>() * 8 - 1));
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ overflow computing total size of `copy`
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ overflow computing total size of `copy`
|
||||||
|
|
||||||
error[E0080]: evaluation of constant value failed
|
error[E0080]: evaluation of constant value failed
|
||||||
--> $DIR/copy-intrinsic.rs:51:5
|
--> $DIR/copy-intrinsic.rs:50:5
|
||||||
|
|
|
|
||||||
LL | copy_nonoverlapping(&x, &mut y, 1usize << (mem::size_of::<usize>() * 8 - 1));
|
LL | copy_nonoverlapping(&x, &mut y, 1usize << (mem::size_of::<usize>() * 8 - 1));
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ overflow computing total size of `copy_nonoverlapping`
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ overflow computing total size of `copy_nonoverlapping`
|
||||||
|
@ -4,7 +4,6 @@
|
|||||||
#![feature(fn_traits)]
|
#![feature(fn_traits)]
|
||||||
#![feature(unboxed_closures)]
|
#![feature(unboxed_closures)]
|
||||||
#![feature(const_trait_impl)]
|
#![feature(const_trait_impl)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
#![feature(const_cmp)]
|
#![feature(const_cmp)]
|
||||||
#![feature(const_refs_to_cell)]
|
#![feature(const_refs_to_cell)]
|
||||||
|
|
||||||
|
@ -5,25 +5,25 @@ LL | #![feature(const_fn_trait_ref_impls)]
|
|||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^^^^^^^
|
||||||
|
|
||||||
error[E0635]: unknown feature `const_cmp`
|
error[E0635]: unknown feature `const_cmp`
|
||||||
--> $DIR/fn_trait_refs.rs:8:12
|
--> $DIR/fn_trait_refs.rs:7:12
|
||||||
|
|
|
|
||||||
LL | #![feature(const_cmp)]
|
LL | #![feature(const_cmp)]
|
||||||
| ^^^^^^^^^
|
| ^^^^^^^^^
|
||||||
|
|
||||||
error: `~const` can only be applied to `#[const_trait]` traits
|
error: `~const` can only be applied to `#[const_trait]` traits
|
||||||
--> $DIR/fn_trait_refs.rs:15:15
|
--> $DIR/fn_trait_refs.rs:14:15
|
||||||
|
|
|
|
||||||
LL | T: ~const Fn<()> + ~const Destruct,
|
LL | T: ~const Fn<()> + ~const Destruct,
|
||||||
| ^^^^^^
|
| ^^^^^^
|
||||||
|
|
||||||
error: `~const` can only be applied to `#[const_trait]` traits
|
error: `~const` can only be applied to `#[const_trait]` traits
|
||||||
--> $DIR/fn_trait_refs.rs:15:31
|
--> $DIR/fn_trait_refs.rs:14:31
|
||||||
|
|
|
|
||||||
LL | T: ~const Fn<()> + ~const Destruct,
|
LL | T: ~const Fn<()> + ~const Destruct,
|
||||||
| ^^^^^^^^
|
| ^^^^^^^^
|
||||||
|
|
||||||
error: `~const` can only be applied to `#[const_trait]` traits
|
error: `~const` can only be applied to `#[const_trait]` traits
|
||||||
--> $DIR/fn_trait_refs.rs:15:15
|
--> $DIR/fn_trait_refs.rs:14:15
|
||||||
|
|
|
|
||||||
LL | T: ~const Fn<()> + ~const Destruct,
|
LL | T: ~const Fn<()> + ~const Destruct,
|
||||||
| ^^^^^^
|
| ^^^^^^
|
||||||
@ -31,19 +31,19 @@ LL | T: ~const Fn<()> + ~const Destruct,
|
|||||||
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
||||||
|
|
||||||
error: `~const` can only be applied to `#[const_trait]` traits
|
error: `~const` can only be applied to `#[const_trait]` traits
|
||||||
--> $DIR/fn_trait_refs.rs:22:15
|
--> $DIR/fn_trait_refs.rs:21:15
|
||||||
|
|
|
|
||||||
LL | T: ~const FnMut<()> + ~const Destruct,
|
LL | T: ~const FnMut<()> + ~const Destruct,
|
||||||
| ^^^^^^^^^
|
| ^^^^^^^^^
|
||||||
|
|
||||||
error: `~const` can only be applied to `#[const_trait]` traits
|
error: `~const` can only be applied to `#[const_trait]` traits
|
||||||
--> $DIR/fn_trait_refs.rs:22:34
|
--> $DIR/fn_trait_refs.rs:21:34
|
||||||
|
|
|
|
||||||
LL | T: ~const FnMut<()> + ~const Destruct,
|
LL | T: ~const FnMut<()> + ~const Destruct,
|
||||||
| ^^^^^^^^
|
| ^^^^^^^^
|
||||||
|
|
||||||
error: `~const` can only be applied to `#[const_trait]` traits
|
error: `~const` can only be applied to `#[const_trait]` traits
|
||||||
--> $DIR/fn_trait_refs.rs:22:15
|
--> $DIR/fn_trait_refs.rs:21:15
|
||||||
|
|
|
|
||||||
LL | T: ~const FnMut<()> + ~const Destruct,
|
LL | T: ~const FnMut<()> + ~const Destruct,
|
||||||
| ^^^^^^^^^
|
| ^^^^^^^^^
|
||||||
@ -51,13 +51,13 @@ LL | T: ~const FnMut<()> + ~const Destruct,
|
|||||||
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
||||||
|
|
||||||
error: `~const` can only be applied to `#[const_trait]` traits
|
error: `~const` can only be applied to `#[const_trait]` traits
|
||||||
--> $DIR/fn_trait_refs.rs:29:15
|
--> $DIR/fn_trait_refs.rs:28:15
|
||||||
|
|
|
|
||||||
LL | T: ~const FnOnce<()>,
|
LL | T: ~const FnOnce<()>,
|
||||||
| ^^^^^^^^^^
|
| ^^^^^^^^^^
|
||||||
|
|
||||||
error: `~const` can only be applied to `#[const_trait]` traits
|
error: `~const` can only be applied to `#[const_trait]` traits
|
||||||
--> $DIR/fn_trait_refs.rs:29:15
|
--> $DIR/fn_trait_refs.rs:28:15
|
||||||
|
|
|
|
||||||
LL | T: ~const FnOnce<()>,
|
LL | T: ~const FnOnce<()>,
|
||||||
| ^^^^^^^^^^
|
| ^^^^^^^^^^
|
||||||
@ -65,19 +65,19 @@ LL | T: ~const FnOnce<()>,
|
|||||||
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
||||||
|
|
||||||
error: `~const` can only be applied to `#[const_trait]` traits
|
error: `~const` can only be applied to `#[const_trait]` traits
|
||||||
--> $DIR/fn_trait_refs.rs:36:15
|
--> $DIR/fn_trait_refs.rs:35:15
|
||||||
|
|
|
|
||||||
LL | T: ~const Fn<()> + ~const Destruct,
|
LL | T: ~const Fn<()> + ~const Destruct,
|
||||||
| ^^^^^^
|
| ^^^^^^
|
||||||
|
|
||||||
error: `~const` can only be applied to `#[const_trait]` traits
|
error: `~const` can only be applied to `#[const_trait]` traits
|
||||||
--> $DIR/fn_trait_refs.rs:36:31
|
--> $DIR/fn_trait_refs.rs:35:31
|
||||||
|
|
|
|
||||||
LL | T: ~const Fn<()> + ~const Destruct,
|
LL | T: ~const Fn<()> + ~const Destruct,
|
||||||
| ^^^^^^^^
|
| ^^^^^^^^
|
||||||
|
|
||||||
error: `~const` can only be applied to `#[const_trait]` traits
|
error: `~const` can only be applied to `#[const_trait]` traits
|
||||||
--> $DIR/fn_trait_refs.rs:36:15
|
--> $DIR/fn_trait_refs.rs:35:15
|
||||||
|
|
|
|
||||||
LL | T: ~const Fn<()> + ~const Destruct,
|
LL | T: ~const Fn<()> + ~const Destruct,
|
||||||
| ^^^^^^
|
| ^^^^^^
|
||||||
@ -85,19 +85,19 @@ LL | T: ~const Fn<()> + ~const Destruct,
|
|||||||
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
||||||
|
|
||||||
error: `~const` can only be applied to `#[const_trait]` traits
|
error: `~const` can only be applied to `#[const_trait]` traits
|
||||||
--> $DIR/fn_trait_refs.rs:50:15
|
--> $DIR/fn_trait_refs.rs:49:15
|
||||||
|
|
|
|
||||||
LL | T: ~const FnMut<()> + ~const Destruct,
|
LL | T: ~const FnMut<()> + ~const Destruct,
|
||||||
| ^^^^^^^^^
|
| ^^^^^^^^^
|
||||||
|
|
||||||
error: `~const` can only be applied to `#[const_trait]` traits
|
error: `~const` can only be applied to `#[const_trait]` traits
|
||||||
--> $DIR/fn_trait_refs.rs:50:34
|
--> $DIR/fn_trait_refs.rs:49:34
|
||||||
|
|
|
|
||||||
LL | T: ~const FnMut<()> + ~const Destruct,
|
LL | T: ~const FnMut<()> + ~const Destruct,
|
||||||
| ^^^^^^^^
|
| ^^^^^^^^
|
||||||
|
|
||||||
error: `~const` can only be applied to `#[const_trait]` traits
|
error: `~const` can only be applied to `#[const_trait]` traits
|
||||||
--> $DIR/fn_trait_refs.rs:50:15
|
--> $DIR/fn_trait_refs.rs:49:15
|
||||||
|
|
|
|
||||||
LL | T: ~const FnMut<()> + ~const Destruct,
|
LL | T: ~const FnMut<()> + ~const Destruct,
|
||||||
| ^^^^^^^^^
|
| ^^^^^^^^^
|
||||||
@ -105,7 +105,7 @@ LL | T: ~const FnMut<()> + ~const Destruct,
|
|||||||
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
||||||
|
|
||||||
error[E0015]: cannot call non-const operator in constants
|
error[E0015]: cannot call non-const operator in constants
|
||||||
--> $DIR/fn_trait_refs.rs:72:17
|
--> $DIR/fn_trait_refs.rs:71:17
|
||||||
|
|
|
|
||||||
LL | assert!(test_one == (1, 1, 1));
|
LL | assert!(test_one == (1, 1, 1));
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^^^^
|
||||||
@ -117,7 +117,7 @@ LL + #![feature(effects)]
|
|||||||
|
|
|
|
||||||
|
|
||||||
error[E0015]: cannot call non-const operator in constants
|
error[E0015]: cannot call non-const operator in constants
|
||||||
--> $DIR/fn_trait_refs.rs:75:17
|
--> $DIR/fn_trait_refs.rs:74:17
|
||||||
|
|
|
|
||||||
LL | assert!(test_two == (2, 2));
|
LL | assert!(test_two == (2, 2));
|
||||||
| ^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^
|
||||||
@ -129,7 +129,7 @@ LL + #![feature(effects)]
|
|||||||
|
|
|
|
||||||
|
|
||||||
error[E0015]: cannot call non-const closure in constant functions
|
error[E0015]: cannot call non-const closure in constant functions
|
||||||
--> $DIR/fn_trait_refs.rs:17:5
|
--> $DIR/fn_trait_refs.rs:16:5
|
||||||
|
|
|
|
||||||
LL | f()
|
LL | f()
|
||||||
| ^^^
|
| ^^^
|
||||||
@ -145,7 +145,7 @@ LL + #![feature(effects)]
|
|||||||
|
|
|
|
||||||
|
|
||||||
error[E0493]: destructor of `T` cannot be evaluated at compile-time
|
error[E0493]: destructor of `T` cannot be evaluated at compile-time
|
||||||
--> $DIR/fn_trait_refs.rs:13:23
|
--> $DIR/fn_trait_refs.rs:12:23
|
||||||
|
|
|
|
||||||
LL | const fn tester_fn<T>(f: T) -> T::Output
|
LL | const fn tester_fn<T>(f: T) -> T::Output
|
||||||
| ^ the destructor for this type cannot be evaluated in constant functions
|
| ^ the destructor for this type cannot be evaluated in constant functions
|
||||||
@ -154,7 +154,7 @@ LL | }
|
|||||||
| - value is dropped here
|
| - value is dropped here
|
||||||
|
|
||||||
error[E0015]: cannot call non-const closure in constant functions
|
error[E0015]: cannot call non-const closure in constant functions
|
||||||
--> $DIR/fn_trait_refs.rs:24:5
|
--> $DIR/fn_trait_refs.rs:23:5
|
||||||
|
|
|
|
||||||
LL | f()
|
LL | f()
|
||||||
| ^^^
|
| ^^^
|
||||||
@ -170,7 +170,7 @@ LL + #![feature(effects)]
|
|||||||
|
|
|
|
||||||
|
|
||||||
error[E0493]: destructor of `T` cannot be evaluated at compile-time
|
error[E0493]: destructor of `T` cannot be evaluated at compile-time
|
||||||
--> $DIR/fn_trait_refs.rs:20:27
|
--> $DIR/fn_trait_refs.rs:19:27
|
||||||
|
|
|
|
||||||
LL | const fn tester_fn_mut<T>(mut f: T) -> T::Output
|
LL | const fn tester_fn_mut<T>(mut f: T) -> T::Output
|
||||||
| ^^^^^ the destructor for this type cannot be evaluated in constant functions
|
| ^^^^^ the destructor for this type cannot be evaluated in constant functions
|
||||||
@ -179,7 +179,7 @@ LL | }
|
|||||||
| - value is dropped here
|
| - value is dropped here
|
||||||
|
|
||||||
error[E0015]: cannot call non-const closure in constant functions
|
error[E0015]: cannot call non-const closure in constant functions
|
||||||
--> $DIR/fn_trait_refs.rs:31:5
|
--> $DIR/fn_trait_refs.rs:30:5
|
||||||
|
|
|
|
||||||
LL | f()
|
LL | f()
|
||||||
| ^^^
|
| ^^^
|
||||||
@ -195,7 +195,7 @@ LL + #![feature(effects)]
|
|||||||
|
|
|
|
||||||
|
|
||||||
error[E0493]: destructor of `T` cannot be evaluated at compile-time
|
error[E0493]: destructor of `T` cannot be evaluated at compile-time
|
||||||
--> $DIR/fn_trait_refs.rs:34:21
|
--> $DIR/fn_trait_refs.rs:33:21
|
||||||
|
|
|
|
||||||
LL | const fn test_fn<T>(mut f: T) -> (T::Output, T::Output, T::Output)
|
LL | const fn test_fn<T>(mut f: T) -> (T::Output, T::Output, T::Output)
|
||||||
| ^^^^^ the destructor for this type cannot be evaluated in constant functions
|
| ^^^^^ the destructor for this type cannot be evaluated in constant functions
|
||||||
@ -204,7 +204,7 @@ LL | }
|
|||||||
| - value is dropped here
|
| - value is dropped here
|
||||||
|
|
||||||
error[E0493]: destructor of `T` cannot be evaluated at compile-time
|
error[E0493]: destructor of `T` cannot be evaluated at compile-time
|
||||||
--> $DIR/fn_trait_refs.rs:48:25
|
--> $DIR/fn_trait_refs.rs:47:25
|
||||||
|
|
|
|
||||||
LL | const fn test_fn_mut<T>(mut f: T) -> (T::Output, T::Output)
|
LL | const fn test_fn_mut<T>(mut f: T) -> (T::Output, T::Output)
|
||||||
| ^^^^^ the destructor for this type cannot be evaluated in constant functions
|
| ^^^^^ the destructor for this type cannot be evaluated in constant functions
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
error[E0080]: it is undefined behavior to use this value
|
error[E0080]: it is undefined behavior to use this value
|
||||||
--> $DIR/interior-mut-const-via-union.rs:35:1
|
--> $DIR/interior-mut-const-via-union.rs:34:1
|
||||||
|
|
|
|
||||||
LL | fn main() {
|
LL | fn main() {
|
||||||
| ^^^^^^^^^ constructing invalid value at .<deref>.y.<enum-variant(B)>.0: encountered `UnsafeCell` in read-only memory
|
| ^^^^^^^^^ constructing invalid value at .<deref>.y.<enum-variant(B)>.0: encountered `UnsafeCell` in read-only memory
|
||||||
@ -10,13 +10,13 @@ LL | fn main() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
note: erroneous constant encountered
|
note: erroneous constant encountered
|
||||||
--> $DIR/interior-mut-const-via-union.rs:37:25
|
--> $DIR/interior-mut-const-via-union.rs:36:25
|
||||||
|
|
|
|
||||||
LL | let _: &'static _ = &C;
|
LL | let _: &'static _ = &C;
|
||||||
| ^^
|
| ^^
|
||||||
|
|
||||||
note: erroneous constant encountered
|
note: erroneous constant encountered
|
||||||
--> $DIR/interior-mut-const-via-union.rs:37:25
|
--> $DIR/interior-mut-const-via-union.rs:36:25
|
||||||
|
|
|
|
||||||
LL | let _: &'static _ = &C;
|
LL | let _: &'static _ = &C;
|
||||||
| ^^
|
| ^^
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
error[E0080]: it is undefined behavior to use this value
|
error[E0080]: it is undefined behavior to use this value
|
||||||
--> $DIR/interior-mut-const-via-union.rs:35:1
|
--> $DIR/interior-mut-const-via-union.rs:34:1
|
||||||
|
|
|
|
||||||
LL | fn main() {
|
LL | fn main() {
|
||||||
| ^^^^^^^^^ constructing invalid value at .<deref>.y.<enum-variant(B)>.0: encountered `UnsafeCell` in read-only memory
|
| ^^^^^^^^^ constructing invalid value at .<deref>.y.<enum-variant(B)>.0: encountered `UnsafeCell` in read-only memory
|
||||||
@ -10,13 +10,13 @@ LL | fn main() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
note: erroneous constant encountered
|
note: erroneous constant encountered
|
||||||
--> $DIR/interior-mut-const-via-union.rs:37:25
|
--> $DIR/interior-mut-const-via-union.rs:36:25
|
||||||
|
|
|
|
||||||
LL | let _: &'static _ = &C;
|
LL | let _: &'static _ = &C;
|
||||||
| ^^
|
| ^^
|
||||||
|
|
||||||
note: erroneous constant encountered
|
note: erroneous constant encountered
|
||||||
--> $DIR/interior-mut-const-via-union.rs:37:25
|
--> $DIR/interior-mut-const-via-union.rs:36:25
|
||||||
|
|
|
|
||||||
LL | let _: &'static _ = &C;
|
LL | let _: &'static _ = &C;
|
||||||
| ^^
|
| ^^
|
||||||
|
@ -3,7 +3,6 @@
|
|||||||
//
|
//
|
||||||
//@ build-fail
|
//@ build-fail
|
||||||
//@ stderr-per-bitwidth
|
//@ stderr-per-bitwidth
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
|
|
||||||
use std::cell::Cell;
|
use std::cell::Cell;
|
||||||
use std::mem::ManuallyDrop;
|
use std::mem::ManuallyDrop;
|
||||||
|
@ -6,6 +6,5 @@ const C1: &'static mut [usize] = &mut [];
|
|||||||
static mut S: usize = 3;
|
static mut S: usize = 3;
|
||||||
const C2: &'static mut usize = unsafe { &mut S };
|
const C2: &'static mut usize = unsafe { &mut S };
|
||||||
//~^ ERROR: referencing statics in constants
|
//~^ ERROR: referencing statics in constants
|
||||||
//~| ERROR: mutable references are not allowed
|
|
||||||
|
|
||||||
fn main() {}
|
fn main() {}
|
||||||
|
@ -16,17 +16,7 @@ LL | const C2: &'static mut usize = unsafe { &mut S };
|
|||||||
= note: `static` and `const` variables can refer to other `const` variables. A `const` variable, however, cannot refer to a `static` variable.
|
= note: `static` and `const` variables can refer to other `const` variables. A `const` variable, however, cannot refer to a `static` variable.
|
||||||
= help: to fix this, the value can be extracted to a `const` and then used.
|
= help: to fix this, the value can be extracted to a `const` and then used.
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constants
|
error: aborting due to 2 previous errors
|
||||||
--> $DIR/issue-17718-const-bad-values.rs:7:41
|
|
||||||
|
|
|
||||||
LL | const C2: &'static mut usize = unsafe { &mut S };
|
|
||||||
| ^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error: aborting due to 3 previous errors
|
|
||||||
|
|
||||||
Some errors have detailed explanations: E0658, E0764.
|
Some errors have detailed explanations: E0658, E0764.
|
||||||
For more information about an error, try `rustc --explain E0658`.
|
For more information about an error, try `rustc --explain E0658`.
|
||||||
|
@ -1,7 +1,6 @@
|
|||||||
//@ run-pass
|
//@ run-pass
|
||||||
|
|
||||||
#![feature(const_ptr_write)]
|
#![feature(const_ptr_write)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
|
|
||||||
// Or, equivalently: `MaybeUninit`.
|
// Or, equivalently: `MaybeUninit`.
|
||||||
pub union BagOfBits<T: Copy> {
|
pub union BagOfBits<T: Copy> {
|
||||||
|
@ -1,7 +1,6 @@
|
|||||||
//@ check-pass
|
//@ check-pass
|
||||||
|
|
||||||
#![feature(const_swap)]
|
#![feature(const_swap)]
|
||||||
#![feature(const_mut_refs)]
|
|
||||||
|
|
||||||
#[repr(C)]
|
#[repr(C)]
|
||||||
struct Demo(u64, bool, u64, u32, u64, u64, u64);
|
struct Demo(u64, bool, u64, u32, u64, u64, u64);
|
||||||
|
@ -1,6 +1,6 @@
|
|||||||
//@ known-bug: #103507
|
//@ known-bug: #103507
|
||||||
|
|
||||||
#![feature(const_trait_impl, const_mut_refs)]
|
#![feature(const_trait_impl)]
|
||||||
|
|
||||||
struct Foo<'a> {
|
struct Foo<'a> {
|
||||||
bar: &'a mut Vec<usize>,
|
bar: &'a mut Vec<usize>,
|
||||||
|
@ -1,15 +0,0 @@
|
|||||||
const fn mutable_address_of_in_const() {
|
|
||||||
let mut a = 0;
|
|
||||||
let b = &raw mut a; //~ ERROR mutable pointer
|
|
||||||
}
|
|
||||||
|
|
||||||
struct X;
|
|
||||||
|
|
||||||
impl X {
|
|
||||||
const fn inherent_mutable_address_of_in_const() {
|
|
||||||
let mut a = 0;
|
|
||||||
let b = &raw mut a; //~ ERROR mutable pointer
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
fn main() {}
|
|
@ -1,23 +0,0 @@
|
|||||||
error[E0658]: raw mutable pointers are not allowed in constant functions
|
|
||||||
--> $DIR/address_of.rs:3:13
|
|
||||||
|
|
|
||||||
LL | let b = &raw mut a;
|
|
||||||
| ^^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: raw mutable pointers are not allowed in constant functions
|
|
||||||
--> $DIR/address_of.rs:11:17
|
|
||||||
|
|
|
||||||
LL | let b = &raw mut a;
|
|
||||||
| ^^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error: aborting due to 2 previous errors
|
|
||||||
|
|
||||||
For more information about this error, try `rustc --explain E0658`.
|
|
@ -37,34 +37,22 @@ impl<T> Foo<T> {
|
|||||||
const fn into_inner(self) -> T { self.0 } //~ destructor of
|
const fn into_inner(self) -> T { self.0 } //~ destructor of
|
||||||
const fn get(&self) -> &T { &self.0 }
|
const fn get(&self) -> &T { &self.0 }
|
||||||
const fn get_mut(&mut self) -> &mut T { &mut self.0 }
|
const fn get_mut(&mut self) -> &mut T { &mut self.0 }
|
||||||
//~^ mutable references
|
|
||||||
//~| mutable references
|
|
||||||
//~| mutable references
|
|
||||||
}
|
}
|
||||||
impl<'a, T> Foo<T> {
|
impl<'a, T> Foo<T> {
|
||||||
const fn new_lt(t: T) -> Self { Foo(t) }
|
const fn new_lt(t: T) -> Self { Foo(t) }
|
||||||
const fn into_inner_lt(self) -> T { self.0 } //~ destructor of
|
const fn into_inner_lt(self) -> T { self.0 } //~ destructor of
|
||||||
const fn get_lt(&'a self) -> &T { &self.0 } //~ WARNING elided lifetime has a name
|
const fn get_lt(&self) -> &T { &self.0 }
|
||||||
const fn get_mut_lt(&'a mut self) -> &mut T { &mut self.0 } //~ WARNING elided lifetime has a name
|
const fn get_mut_lt(&mut self) -> &mut T { &mut self.0 }
|
||||||
//~^ mutable references
|
|
||||||
//~| mutable references
|
|
||||||
//~| mutable references
|
|
||||||
}
|
}
|
||||||
impl<T: Sized> Foo<T> {
|
impl<T: Sized> Foo<T> {
|
||||||
const fn new_s(t: T) -> Self { Foo(t) }
|
const fn new_s(t: T) -> Self { Foo(t) }
|
||||||
const fn into_inner_s(self) -> T { self.0 } //~ ERROR destructor
|
const fn into_inner_s(self) -> T { self.0 } //~ ERROR destructor
|
||||||
const fn get_s(&self) -> &T { &self.0 }
|
const fn get_s(&self) -> &T { &self.0 }
|
||||||
const fn get_mut_s(&mut self) -> &mut T { &mut self.0 }
|
const fn get_mut_s(&mut self) -> &mut T { &mut self.0 }
|
||||||
//~^ mutable references
|
|
||||||
//~| mutable references
|
|
||||||
//~| mutable references
|
|
||||||
}
|
}
|
||||||
impl<T: ?Sized> Foo<T> {
|
impl<T: ?Sized> Foo<T> {
|
||||||
const fn get_sq(&self) -> &T { &self.0 }
|
const fn get_sq(&self) -> &T { &self.0 }
|
||||||
const fn get_mut_sq(&mut self) -> &mut T { &mut self.0 }
|
const fn get_mut_sq(&mut self) -> &mut T { &mut self.0 }
|
||||||
//~^ mutable references
|
|
||||||
//~| mutable references
|
|
||||||
//~| mutable references
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
@ -98,7 +86,6 @@ const fn foo30_2_with_unsafe(x: *mut u32) -> usize { unsafe { x as usize } }
|
|||||||
//~^ ERROR pointers cannot be cast to integers
|
//~^ ERROR pointers cannot be cast to integers
|
||||||
const fn foo30_6() -> bool { let x = true; x }
|
const fn foo30_6() -> bool { let x = true; x }
|
||||||
const fn inc(x: &mut i32) { *x += 1 }
|
const fn inc(x: &mut i32) { *x += 1 }
|
||||||
//~^ ERROR mutable references
|
|
||||||
|
|
||||||
// ok
|
// ok
|
||||||
const fn foo36(a: bool, b: bool) -> bool { a && b }
|
const fn foo36(a: bool, b: bool) -> bool { a && b }
|
||||||
|
@ -1,23 +1,3 @@
|
|||||||
warning: elided lifetime has a name
|
|
||||||
--> $DIR/min_const_fn.rs:47:34
|
|
||||||
|
|
|
||||||
LL | impl<'a, T> Foo<T> {
|
|
||||||
| -- lifetime `'a` declared here
|
|
||||||
...
|
|
||||||
LL | const fn get_lt(&'a self) -> &T { &self.0 }
|
|
||||||
| ^ this elided lifetime gets resolved as `'a`
|
|
||||||
|
|
|
||||||
= note: `#[warn(elided_named_lifetimes)]` on by default
|
|
||||||
|
|
||||||
warning: elided lifetime has a name
|
|
||||||
--> $DIR/min_const_fn.rs:48:42
|
|
||||||
|
|
|
||||||
LL | impl<'a, T> Foo<T> {
|
|
||||||
| -- lifetime `'a` declared here
|
|
||||||
...
|
|
||||||
LL | const fn get_mut_lt(&'a mut self) -> &mut T { &mut self.0 }
|
|
||||||
| ^ this elided lifetime gets resolved as `'a`
|
|
||||||
|
|
||||||
error[E0493]: destructor of `Foo<T>` cannot be evaluated at compile-time
|
error[E0493]: destructor of `Foo<T>` cannot be evaluated at compile-time
|
||||||
--> $DIR/min_const_fn.rs:37:25
|
--> $DIR/min_const_fn.rs:37:25
|
||||||
|
|
|
|
||||||
@ -26,144 +6,24 @@ LL | const fn into_inner(self) -> T { self.0 }
|
|||||||
| |
|
| |
|
||||||
| the destructor for this type cannot be evaluated in constant functions
|
| the destructor for this type cannot be evaluated in constant functions
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/min_const_fn.rs:39:22
|
|
||||||
|
|
|
||||||
LL | const fn get_mut(&mut self) -> &mut T { &mut self.0 }
|
|
||||||
| ^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/min_const_fn.rs:39:36
|
|
||||||
|
|
|
||||||
LL | const fn get_mut(&mut self) -> &mut T { &mut self.0 }
|
|
||||||
| ^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/min_const_fn.rs:39:45
|
|
||||||
|
|
|
||||||
LL | const fn get_mut(&mut self) -> &mut T { &mut self.0 }
|
|
||||||
| ^^^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0493]: destructor of `Foo<T>` cannot be evaluated at compile-time
|
error[E0493]: destructor of `Foo<T>` cannot be evaluated at compile-time
|
||||||
--> $DIR/min_const_fn.rs:46:28
|
--> $DIR/min_const_fn.rs:43:28
|
||||||
|
|
|
|
||||||
LL | const fn into_inner_lt(self) -> T { self.0 }
|
LL | const fn into_inner_lt(self) -> T { self.0 }
|
||||||
| ^^^^ - value is dropped here
|
| ^^^^ - value is dropped here
|
||||||
| |
|
| |
|
||||||
| the destructor for this type cannot be evaluated in constant functions
|
| the destructor for this type cannot be evaluated in constant functions
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/min_const_fn.rs:48:25
|
|
||||||
|
|
|
||||||
LL | const fn get_mut_lt(&'a mut self) -> &mut T { &mut self.0 }
|
|
||||||
| ^^^^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/min_const_fn.rs:48:42
|
|
||||||
|
|
|
||||||
LL | const fn get_mut_lt(&'a mut self) -> &mut T { &mut self.0 }
|
|
||||||
| ^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/min_const_fn.rs:48:51
|
|
||||||
|
|
|
||||||
LL | const fn get_mut_lt(&'a mut self) -> &mut T { &mut self.0 }
|
|
||||||
| ^^^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0493]: destructor of `Foo<T>` cannot be evaluated at compile-time
|
error[E0493]: destructor of `Foo<T>` cannot be evaluated at compile-time
|
||||||
--> $DIR/min_const_fn.rs:55:27
|
--> $DIR/min_const_fn.rs:49:27
|
||||||
|
|
|
|
||||||
LL | const fn into_inner_s(self) -> T { self.0 }
|
LL | const fn into_inner_s(self) -> T { self.0 }
|
||||||
| ^^^^ - value is dropped here
|
| ^^^^ - value is dropped here
|
||||||
| |
|
| |
|
||||||
| the destructor for this type cannot be evaluated in constant functions
|
| the destructor for this type cannot be evaluated in constant functions
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/min_const_fn.rs:57:24
|
|
||||||
|
|
|
||||||
LL | const fn get_mut_s(&mut self) -> &mut T { &mut self.0 }
|
|
||||||
| ^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/min_const_fn.rs:57:38
|
|
||||||
|
|
|
||||||
LL | const fn get_mut_s(&mut self) -> &mut T { &mut self.0 }
|
|
||||||
| ^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/min_const_fn.rs:57:47
|
|
||||||
|
|
|
||||||
LL | const fn get_mut_s(&mut self) -> &mut T { &mut self.0 }
|
|
||||||
| ^^^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/min_const_fn.rs:64:25
|
|
||||||
|
|
|
||||||
LL | const fn get_mut_sq(&mut self) -> &mut T { &mut self.0 }
|
|
||||||
| ^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/min_const_fn.rs:64:39
|
|
||||||
|
|
|
||||||
LL | const fn get_mut_sq(&mut self) -> &mut T { &mut self.0 }
|
|
||||||
| ^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/min_const_fn.rs:64:48
|
|
||||||
|
|
|
||||||
LL | const fn get_mut_sq(&mut self) -> &mut T { &mut self.0 }
|
|
||||||
| ^^^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: referencing statics in constant functions is unstable
|
error[E0658]: referencing statics in constant functions is unstable
|
||||||
--> $DIR/min_const_fn.rs:89:27
|
--> $DIR/min_const_fn.rs:77:27
|
||||||
|
|
|
|
||||||
LL | const fn foo25() -> u32 { BAR }
|
LL | const fn foo25() -> u32 { BAR }
|
||||||
| ^^^
|
| ^^^
|
||||||
@ -175,7 +35,7 @@ LL | const fn foo25() -> u32 { BAR }
|
|||||||
= help: to fix this, the value can be extracted to a `const` and then used.
|
= help: to fix this, the value can be extracted to a `const` and then used.
|
||||||
|
|
||||||
error[E0658]: referencing statics in constant functions is unstable
|
error[E0658]: referencing statics in constant functions is unstable
|
||||||
--> $DIR/min_const_fn.rs:90:37
|
--> $DIR/min_const_fn.rs:78:37
|
||||||
|
|
|
|
||||||
LL | const fn foo26() -> &'static u32 { &BAR }
|
LL | const fn foo26() -> &'static u32 { &BAR }
|
||||||
| ^^^
|
| ^^^
|
||||||
@ -187,7 +47,7 @@ LL | const fn foo26() -> &'static u32 { &BAR }
|
|||||||
= help: to fix this, the value can be extracted to a `const` and then used.
|
= help: to fix this, the value can be extracted to a `const` and then used.
|
||||||
|
|
||||||
error: pointers cannot be cast to integers during const eval
|
error: pointers cannot be cast to integers during const eval
|
||||||
--> $DIR/min_const_fn.rs:91:42
|
--> $DIR/min_const_fn.rs:79:42
|
||||||
|
|
|
|
||||||
LL | const fn foo30(x: *const u32) -> usize { x as usize }
|
LL | const fn foo30(x: *const u32) -> usize { x as usize }
|
||||||
| ^^^^^^^^^^
|
| ^^^^^^^^^^
|
||||||
@ -196,7 +56,7 @@ LL | const fn foo30(x: *const u32) -> usize { x as usize }
|
|||||||
= note: avoiding this restriction via `transmute`, `union`, or raw pointers leads to compile-time undefined behavior
|
= note: avoiding this restriction via `transmute`, `union`, or raw pointers leads to compile-time undefined behavior
|
||||||
|
|
||||||
error: pointers cannot be cast to integers during const eval
|
error: pointers cannot be cast to integers during const eval
|
||||||
--> $DIR/min_const_fn.rs:93:63
|
--> $DIR/min_const_fn.rs:81:63
|
||||||
|
|
|
|
||||||
LL | const fn foo30_with_unsafe(x: *const u32) -> usize { unsafe { x as usize } }
|
LL | const fn foo30_with_unsafe(x: *const u32) -> usize { unsafe { x as usize } }
|
||||||
| ^^^^^^^^^^
|
| ^^^^^^^^^^
|
||||||
@ -205,7 +65,7 @@ LL | const fn foo30_with_unsafe(x: *const u32) -> usize { unsafe { x as usize }
|
|||||||
= note: avoiding this restriction via `transmute`, `union`, or raw pointers leads to compile-time undefined behavior
|
= note: avoiding this restriction via `transmute`, `union`, or raw pointers leads to compile-time undefined behavior
|
||||||
|
|
||||||
error: pointers cannot be cast to integers during const eval
|
error: pointers cannot be cast to integers during const eval
|
||||||
--> $DIR/min_const_fn.rs:95:42
|
--> $DIR/min_const_fn.rs:83:42
|
||||||
|
|
|
|
||||||
LL | const fn foo30_2(x: *mut u32) -> usize { x as usize }
|
LL | const fn foo30_2(x: *mut u32) -> usize { x as usize }
|
||||||
| ^^^^^^^^^^
|
| ^^^^^^^^^^
|
||||||
@ -214,7 +74,7 @@ LL | const fn foo30_2(x: *mut u32) -> usize { x as usize }
|
|||||||
= note: avoiding this restriction via `transmute`, `union`, or raw pointers leads to compile-time undefined behavior
|
= note: avoiding this restriction via `transmute`, `union`, or raw pointers leads to compile-time undefined behavior
|
||||||
|
|
||||||
error: pointers cannot be cast to integers during const eval
|
error: pointers cannot be cast to integers during const eval
|
||||||
--> $DIR/min_const_fn.rs:97:63
|
--> $DIR/min_const_fn.rs:85:63
|
||||||
|
|
|
|
||||||
LL | const fn foo30_2_with_unsafe(x: *mut u32) -> usize { unsafe { x as usize } }
|
LL | const fn foo30_2_with_unsafe(x: *mut u32) -> usize { unsafe { x as usize } }
|
||||||
| ^^^^^^^^^^
|
| ^^^^^^^^^^
|
||||||
@ -222,18 +82,8 @@ LL | const fn foo30_2_with_unsafe(x: *mut u32) -> usize { unsafe { x as usize }
|
|||||||
= note: at compile-time, pointers do not have an integer value
|
= note: at compile-time, pointers do not have an integer value
|
||||||
= note: avoiding this restriction via `transmute`, `union`, or raw pointers leads to compile-time undefined behavior
|
= note: avoiding this restriction via `transmute`, `union`, or raw pointers leads to compile-time undefined behavior
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/min_const_fn.rs:100:14
|
|
||||||
|
|
|
||||||
LL | const fn inc(x: &mut i32) { *x += 1 }
|
|
||||||
| ^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0493]: destructor of `AlanTuring<impl std::fmt::Debug>` cannot be evaluated at compile-time
|
error[E0493]: destructor of `AlanTuring<impl std::fmt::Debug>` cannot be evaluated at compile-time
|
||||||
--> $DIR/min_const_fn.rs:122:19
|
--> $DIR/min_const_fn.rs:109:19
|
||||||
|
|
|
|
||||||
LL | const fn no_apit2(_x: AlanTuring<impl std::fmt::Debug>) {}
|
LL | const fn no_apit2(_x: AlanTuring<impl std::fmt::Debug>) {}
|
||||||
| ^^ - value is dropped here
|
| ^^ - value is dropped here
|
||||||
@ -241,14 +91,14 @@ LL | const fn no_apit2(_x: AlanTuring<impl std::fmt::Debug>) {}
|
|||||||
| the destructor for this type cannot be evaluated in constant functions
|
| the destructor for this type cannot be evaluated in constant functions
|
||||||
|
|
||||||
error[E0493]: destructor of `impl std::fmt::Debug` cannot be evaluated at compile-time
|
error[E0493]: destructor of `impl std::fmt::Debug` cannot be evaluated at compile-time
|
||||||
--> $DIR/min_const_fn.rs:124:18
|
--> $DIR/min_const_fn.rs:111:18
|
||||||
|
|
|
|
||||||
LL | const fn no_apit(_x: impl std::fmt::Debug) {}
|
LL | const fn no_apit(_x: impl std::fmt::Debug) {}
|
||||||
| ^^ - value is dropped here
|
| ^^ - value is dropped here
|
||||||
| |
|
| |
|
||||||
| the destructor for this type cannot be evaluated in constant functions
|
| the destructor for this type cannot be evaluated in constant functions
|
||||||
|
|
||||||
error: aborting due to 24 previous errors; 2 warnings emitted
|
error: aborting due to 11 previous errors
|
||||||
|
|
||||||
Some errors have detailed explanations: E0493, E0658.
|
Some errors have detailed explanations: E0493, E0658.
|
||||||
For more information about an error, try `rustc --explain E0493`.
|
For more information about an error, try `rustc --explain E0493`.
|
||||||
|
@ -1,13 +0,0 @@
|
|||||||
const fn bad_const_fn_deref_raw(x: *mut usize) -> &'static usize { unsafe { &*x } }
|
|
||||||
//~^ dereferencing raw mutable pointers in constant functions
|
|
||||||
|
|
||||||
const unsafe fn bad_const_unsafe_deref_raw(x: *mut usize) -> usize { *x }
|
|
||||||
//~^ dereferencing raw mutable pointers in constant functions
|
|
||||||
|
|
||||||
const unsafe fn bad_const_unsafe_deref_raw_ref(x: *mut usize) -> &'static usize { &*x }
|
|
||||||
//~^ dereferencing raw mutable pointers in constant functions
|
|
||||||
|
|
||||||
const unsafe fn bad_const_unsafe_deref_raw_underscore(x: *mut usize) { let _ = *x; }
|
|
||||||
//~^ dereferencing raw mutable pointers in constant functions
|
|
||||||
|
|
||||||
fn main() {}
|
|
@ -1,43 +0,0 @@
|
|||||||
error[E0658]: dereferencing raw mutable pointers in constant functions is unstable
|
|
||||||
--> $DIR/min_const_fn_unsafe_bad.rs:1:77
|
|
||||||
|
|
|
||||||
LL | const fn bad_const_fn_deref_raw(x: *mut usize) -> &'static usize { unsafe { &*x } }
|
|
||||||
| ^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: dereferencing raw mutable pointers in constant functions is unstable
|
|
||||||
--> $DIR/min_const_fn_unsafe_bad.rs:4:70
|
|
||||||
|
|
|
||||||
LL | const unsafe fn bad_const_unsafe_deref_raw(x: *mut usize) -> usize { *x }
|
|
||||||
| ^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: dereferencing raw mutable pointers in constant functions is unstable
|
|
||||||
--> $DIR/min_const_fn_unsafe_bad.rs:7:83
|
|
||||||
|
|
|
||||||
LL | const unsafe fn bad_const_unsafe_deref_raw_ref(x: *mut usize) -> &'static usize { &*x }
|
|
||||||
| ^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: dereferencing raw mutable pointers in constant functions is unstable
|
|
||||||
--> $DIR/min_const_fn_unsafe_bad.rs:10:80
|
|
||||||
|
|
|
||||||
LL | const unsafe fn bad_const_unsafe_deref_raw_underscore(x: *mut usize) { let _ = *x; }
|
|
||||||
| ^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error: aborting due to 4 previous errors
|
|
||||||
|
|
||||||
For more information about this error, try `rustc --explain E0658`.
|
|
@ -41,4 +41,12 @@ const unsafe fn call_unsafe_generic_cell_const_unsafe_fn_immediate()
|
|||||||
ret_null_mut_ptr_no_unsafe::<Vec<std::cell::Cell<u32>>>()
|
ret_null_mut_ptr_no_unsafe::<Vec<std::cell::Cell<u32>>>()
|
||||||
}
|
}
|
||||||
|
|
||||||
|
const fn bad_const_fn_deref_raw(x: *mut usize) -> &'static usize { unsafe { &*x } }
|
||||||
|
|
||||||
|
const unsafe fn bad_const_unsafe_deref_raw(x: *mut usize) -> usize { *x }
|
||||||
|
|
||||||
|
const unsafe fn bad_const_unsafe_deref_raw_ref(x: *mut usize) -> &'static usize { &*x }
|
||||||
|
|
||||||
|
const unsafe fn bad_const_unsafe_deref_raw_underscore(x: *mut usize) { let _ = *x; }
|
||||||
|
|
||||||
fn main() {}
|
fn main() {}
|
||||||
|
@ -1,17 +0,0 @@
|
|||||||
const fn mutable_ref_in_const() -> u8 {
|
|
||||||
let mut a = 0;
|
|
||||||
let b = &mut a; //~ ERROR mutable references
|
|
||||||
*b
|
|
||||||
}
|
|
||||||
|
|
||||||
struct X;
|
|
||||||
|
|
||||||
impl X {
|
|
||||||
const fn inherent_mutable_ref_in_const() -> u8 {
|
|
||||||
let mut a = 0;
|
|
||||||
let b = &mut a; //~ ERROR mutable references
|
|
||||||
*b
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
fn main() {}
|
|
@ -1,23 +0,0 @@
|
|||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/mutable_borrow.rs:3:13
|
|
||||||
|
|
|
||||||
LL | let b = &mut a;
|
|
||||||
| ^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error[E0658]: mutable references are not allowed in constant functions
|
|
||||||
--> $DIR/mutable_borrow.rs:12:17
|
|
||||||
|
|
|
||||||
LL | let b = &mut a;
|
|
||||||
| ^^^^^^
|
|
||||||
|
|
|
||||||
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
|
|
||||||
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
|
|
||||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
||||||
|
|
||||||
error: aborting due to 2 previous errors
|
|
||||||
|
|
||||||
For more information about this error, try `rustc --explain E0658`.
|
|
@ -11,16 +11,6 @@ help: skipping check that does not even have a feature gate
|
|||||||
|
|
|
|
||||||
LL | &mut *(Box::new(0))
|
LL | &mut *(Box::new(0))
|
||||||
| ^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^
|
||||||
help: skipping check for `const_mut_refs` feature
|
|
||||||
--> $DIR/box.rs:8:5
|
|
||||||
|
|
|
||||||
LL | &mut *(Box::new(0))
|
|
||||||
| ^^^^^^^^^^^^^^^^^^^
|
|
||||||
help: skipping check for `const_mut_refs` feature
|
|
||||||
--> $DIR/box.rs:8:5
|
|
||||||
|
|
|
||||||
LL | &mut *(Box::new(0))
|
|
||||||
| ^^^^^^^^^^^^^^^^^^^
|
|
||||||
|
|
||||||
error: aborting due to 1 previous error; 1 warning emitted
|
error: aborting due to 1 previous error; 1 warning emitted
|
||||||
|
|
||||||
|
@ -177,11 +177,6 @@ help: skipping check for `const_refs_to_static` feature
|
|||||||
|
|
|
|
||||||
LL | const SUBTLE: &mut i32 = unsafe { static mut STATIC: i32 = 0; &mut STATIC };
|
LL | const SUBTLE: &mut i32 = unsafe { static mut STATIC: i32 = 0; &mut STATIC };
|
||||||
| ^^^^^^
|
| ^^^^^^
|
||||||
help: skipping check for `const_mut_refs` feature
|
|
||||||
--> $DIR/mutable_references.rs:30:63
|
|
||||||
|
|
|
||||||
LL | const SUBTLE: &mut i32 = unsafe { static mut STATIC: i32 = 0; &mut STATIC };
|
|
||||||
| ^^^^^^^^^^^
|
|
||||||
help: skipping check that does not even have a feature gate
|
help: skipping check that does not even have a feature gate
|
||||||
--> $DIR/mutable_references.rs:40:28
|
--> $DIR/mutable_references.rs:40:28
|
||||||
|
|
|
|
||||||
@ -197,16 +192,6 @@ help: skipping check that does not even have a feature gate
|
|||||||
|
|
|
|
||||||
LL | const SNEAKY: &dyn Sync = &Synced { x: UnsafeCell::new(42) };
|
LL | const SNEAKY: &dyn Sync = &Synced { x: UnsafeCell::new(42) };
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||||
help: skipping check for `const_mut_refs` feature
|
|
||||||
--> $DIR/mutable_references.rs:65:49
|
|
||||||
|
|
|
||||||
LL | static mut MUT_TO_READONLY: &mut i32 = unsafe { &mut *(&READONLY as *const _ as *mut _) };
|
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
|
||||||
help: skipping check for `const_mut_refs` feature
|
|
||||||
--> $DIR/mutable_references.rs:65:49
|
|
||||||
|
|
|
||||||
LL | static mut MUT_TO_READONLY: &mut i32 = unsafe { &mut *(&READONLY as *const _ as *mut _) };
|
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
|
||||||
help: skipping check for `const_refs_to_static` feature
|
help: skipping check for `const_refs_to_static` feature
|
||||||
--> $DIR/mutable_references.rs:72:43
|
--> $DIR/mutable_references.rs:72:43
|
||||||
|
|
|
|
||||||
|
@ -1,6 +1,6 @@
|
|||||||
//@ stderr-per-bitwidth
|
//@ stderr-per-bitwidth
|
||||||
//@ compile-flags: -Zunleash-the-miri-inside-of-you
|
//@ compile-flags: -Zunleash-the-miri-inside-of-you
|
||||||
#![feature(const_refs_to_cell, const_mut_refs)]
|
|
||||||
// All "inner" allocations that come with a `static` are interned immutably. This means it is
|
// All "inner" allocations that come with a `static` are interned immutably. This means it is
|
||||||
// crucial that we do not accept any form of (interior) mutability there.
|
// crucial that we do not accept any form of (interior) mutability there.
|
||||||
use std::sync::atomic::*;
|
use std::sync::atomic::*;
|
||||||
|
Some files were not shown because too many files have changed in this diff Show More
Loading…
Reference in New Issue
Block a user