mirror of
https://github.com/rust-lang/rust.git
synced 2024-10-30 05:51:58 +00:00
Remove track_errors entirely
This commit is contained in:
parent
0e4243538b
commit
db7cd57091
@ -25,14 +25,21 @@ use rustc_trait_selection::traits::ObligationCtxt;
|
|||||||
use rustc_trait_selection::traits::{self, ObligationCause};
|
use rustc_trait_selection::traits::{self, ObligationCause};
|
||||||
use std::collections::BTreeMap;
|
use std::collections::BTreeMap;
|
||||||
|
|
||||||
pub fn check_trait(tcx: TyCtxt<'_>, trait_def_id: DefId) {
|
pub fn check_trait(tcx: TyCtxt<'_>, trait_def_id: DefId) -> Result<(), ErrorGuaranteed> {
|
||||||
let lang_items = tcx.lang_items();
|
let lang_items = tcx.lang_items();
|
||||||
Checker { tcx, trait_def_id }
|
let checker = Checker { tcx, trait_def_id };
|
||||||
.check(lang_items.drop_trait(), visit_implementation_of_drop)
|
let mut res = checker.check(lang_items.drop_trait(), visit_implementation_of_drop);
|
||||||
.check(lang_items.copy_trait(), visit_implementation_of_copy)
|
res = res.and(checker.check(lang_items.copy_trait(), visit_implementation_of_copy));
|
||||||
.check(lang_items.const_param_ty_trait(), visit_implementation_of_const_param_ty)
|
res = res.and(
|
||||||
.check(lang_items.coerce_unsized_trait(), visit_implementation_of_coerce_unsized)
|
checker.check(lang_items.const_param_ty_trait(), visit_implementation_of_const_param_ty),
|
||||||
.check(lang_items.dispatch_from_dyn_trait(), visit_implementation_of_dispatch_from_dyn);
|
);
|
||||||
|
res = res.and(
|
||||||
|
checker.check(lang_items.coerce_unsized_trait(), visit_implementation_of_coerce_unsized),
|
||||||
|
);
|
||||||
|
res.and(
|
||||||
|
checker
|
||||||
|
.check(lang_items.dispatch_from_dyn_trait(), visit_implementation_of_dispatch_from_dyn),
|
||||||
|
)
|
||||||
}
|
}
|
||||||
|
|
||||||
struct Checker<'tcx> {
|
struct Checker<'tcx> {
|
||||||
@ -41,33 +48,40 @@ struct Checker<'tcx> {
|
|||||||
}
|
}
|
||||||
|
|
||||||
impl<'tcx> Checker<'tcx> {
|
impl<'tcx> Checker<'tcx> {
|
||||||
fn check<F>(&self, trait_def_id: Option<DefId>, mut f: F) -> &Self
|
fn check<F>(&self, trait_def_id: Option<DefId>, mut f: F) -> Result<(), ErrorGuaranteed>
|
||||||
where
|
where
|
||||||
F: FnMut(TyCtxt<'tcx>, LocalDefId),
|
F: FnMut(TyCtxt<'tcx>, LocalDefId) -> Result<(), ErrorGuaranteed>,
|
||||||
{
|
{
|
||||||
|
let mut res = Ok(());
|
||||||
if Some(self.trait_def_id) == trait_def_id {
|
if Some(self.trait_def_id) == trait_def_id {
|
||||||
for &impl_def_id in self.tcx.hir().trait_impls(self.trait_def_id) {
|
for &impl_def_id in self.tcx.hir().trait_impls(self.trait_def_id) {
|
||||||
f(self.tcx, impl_def_id);
|
res = res.and(f(self.tcx, impl_def_id));
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
self
|
res
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fn visit_implementation_of_drop(tcx: TyCtxt<'_>, impl_did: LocalDefId) {
|
fn visit_implementation_of_drop(
|
||||||
|
tcx: TyCtxt<'_>,
|
||||||
|
impl_did: LocalDefId,
|
||||||
|
) -> Result<(), ErrorGuaranteed> {
|
||||||
// Destructors only work on local ADT types.
|
// Destructors only work on local ADT types.
|
||||||
match tcx.type_of(impl_did).instantiate_identity().kind() {
|
match tcx.type_of(impl_did).instantiate_identity().kind() {
|
||||||
ty::Adt(def, _) if def.did().is_local() => return,
|
ty::Adt(def, _) if def.did().is_local() => return Ok(()),
|
||||||
ty::Error(_) => return,
|
ty::Error(_) => return Ok(()),
|
||||||
_ => {}
|
_ => {}
|
||||||
}
|
}
|
||||||
|
|
||||||
let impl_ = tcx.hir().expect_item(impl_did).expect_impl();
|
let impl_ = tcx.hir().expect_item(impl_did).expect_impl();
|
||||||
|
|
||||||
tcx.dcx().emit_err(errors::DropImplOnWrongItem { span: impl_.self_ty.span });
|
Err(tcx.dcx().emit_err(errors::DropImplOnWrongItem { span: impl_.self_ty.span }))
|
||||||
}
|
}
|
||||||
|
|
||||||
fn visit_implementation_of_copy(tcx: TyCtxt<'_>, impl_did: LocalDefId) {
|
fn visit_implementation_of_copy(
|
||||||
|
tcx: TyCtxt<'_>,
|
||||||
|
impl_did: LocalDefId,
|
||||||
|
) -> Result<(), ErrorGuaranteed> {
|
||||||
debug!("visit_implementation_of_copy: impl_did={:?}", impl_did);
|
debug!("visit_implementation_of_copy: impl_did={:?}", impl_did);
|
||||||
|
|
||||||
let self_type = tcx.type_of(impl_did).instantiate_identity();
|
let self_type = tcx.type_of(impl_did).instantiate_identity();
|
||||||
@ -79,59 +93,68 @@ fn visit_implementation_of_copy(tcx: TyCtxt<'_>, impl_did: LocalDefId) {
|
|||||||
debug!("visit_implementation_of_copy: self_type={:?} (free)", self_type);
|
debug!("visit_implementation_of_copy: self_type={:?} (free)", self_type);
|
||||||
|
|
||||||
let span = match tcx.hir().expect_item(impl_did).expect_impl() {
|
let span = match tcx.hir().expect_item(impl_did).expect_impl() {
|
||||||
hir::Impl { polarity: hir::ImplPolarity::Negative(_), .. } => return,
|
hir::Impl { polarity: hir::ImplPolarity::Negative(_), .. } => return Ok(()),
|
||||||
hir::Impl { self_ty, .. } => self_ty.span,
|
hir::Impl { self_ty, .. } => self_ty.span,
|
||||||
};
|
};
|
||||||
|
|
||||||
let cause = traits::ObligationCause::misc(span, impl_did);
|
let cause = traits::ObligationCause::misc(span, impl_did);
|
||||||
match type_allowed_to_implement_copy(tcx, param_env, self_type, cause) {
|
match type_allowed_to_implement_copy(tcx, param_env, self_type, cause) {
|
||||||
Ok(()) => {}
|
Ok(()) => Ok(()),
|
||||||
Err(CopyImplementationError::InfringingFields(fields)) => {
|
Err(CopyImplementationError::InfringingFields(fields)) => {
|
||||||
infringing_fields_error(tcx, fields, LangItem::Copy, impl_did, span);
|
Err(infringing_fields_error(tcx, fields, LangItem::Copy, impl_did, span))
|
||||||
}
|
}
|
||||||
Err(CopyImplementationError::NotAnAdt) => {
|
Err(CopyImplementationError::NotAnAdt) => {
|
||||||
tcx.dcx().emit_err(errors::CopyImplOnNonAdt { span });
|
Err(tcx.dcx().emit_err(errors::CopyImplOnNonAdt { span }))
|
||||||
}
|
}
|
||||||
Err(CopyImplementationError::HasDestructor) => {
|
Err(CopyImplementationError::HasDestructor) => {
|
||||||
tcx.dcx().emit_err(errors::CopyImplOnTypeWithDtor { span });
|
Err(tcx.dcx().emit_err(errors::CopyImplOnTypeWithDtor { span }))
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fn visit_implementation_of_const_param_ty(tcx: TyCtxt<'_>, impl_did: LocalDefId) {
|
fn visit_implementation_of_const_param_ty(
|
||||||
|
tcx: TyCtxt<'_>,
|
||||||
|
impl_did: LocalDefId,
|
||||||
|
) -> Result<(), ErrorGuaranteed> {
|
||||||
let self_type = tcx.type_of(impl_did).instantiate_identity();
|
let self_type = tcx.type_of(impl_did).instantiate_identity();
|
||||||
assert!(!self_type.has_escaping_bound_vars());
|
assert!(!self_type.has_escaping_bound_vars());
|
||||||
|
|
||||||
let param_env = tcx.param_env(impl_did);
|
let param_env = tcx.param_env(impl_did);
|
||||||
|
|
||||||
let span = match tcx.hir().expect_item(impl_did).expect_impl() {
|
let span = match tcx.hir().expect_item(impl_did).expect_impl() {
|
||||||
hir::Impl { polarity: hir::ImplPolarity::Negative(_), .. } => return,
|
hir::Impl { polarity: hir::ImplPolarity::Negative(_), .. } => return Ok(()),
|
||||||
impl_ => impl_.self_ty.span,
|
impl_ => impl_.self_ty.span,
|
||||||
};
|
};
|
||||||
|
|
||||||
let cause = traits::ObligationCause::misc(span, impl_did);
|
let cause = traits::ObligationCause::misc(span, impl_did);
|
||||||
match type_allowed_to_implement_const_param_ty(tcx, param_env, self_type, cause) {
|
match type_allowed_to_implement_const_param_ty(tcx, param_env, self_type, cause) {
|
||||||
Ok(()) => {}
|
Ok(()) => Ok(()),
|
||||||
Err(ConstParamTyImplementationError::InfrigingFields(fields)) => {
|
Err(ConstParamTyImplementationError::InfrigingFields(fields)) => {
|
||||||
infringing_fields_error(tcx, fields, LangItem::ConstParamTy, impl_did, span);
|
Err(infringing_fields_error(tcx, fields, LangItem::ConstParamTy, impl_did, span))
|
||||||
}
|
}
|
||||||
Err(ConstParamTyImplementationError::NotAnAdtOrBuiltinAllowed) => {
|
Err(ConstParamTyImplementationError::NotAnAdtOrBuiltinAllowed) => {
|
||||||
tcx.dcx().emit_err(errors::ConstParamTyImplOnNonAdt { span });
|
Err(tcx.dcx().emit_err(errors::ConstParamTyImplOnNonAdt { span }))
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fn visit_implementation_of_coerce_unsized(tcx: TyCtxt<'_>, impl_did: LocalDefId) {
|
fn visit_implementation_of_coerce_unsized(
|
||||||
|
tcx: TyCtxt<'_>,
|
||||||
|
impl_did: LocalDefId,
|
||||||
|
) -> Result<(), ErrorGuaranteed> {
|
||||||
debug!("visit_implementation_of_coerce_unsized: impl_did={:?}", impl_did);
|
debug!("visit_implementation_of_coerce_unsized: impl_did={:?}", impl_did);
|
||||||
|
|
||||||
// Just compute this for the side-effects, in particular reporting
|
// Just compute this for the side-effects, in particular reporting
|
||||||
// errors; other parts of the code may demand it for the info of
|
// errors; other parts of the code may demand it for the info of
|
||||||
// course.
|
// course.
|
||||||
let span = tcx.def_span(impl_did);
|
let span = tcx.def_span(impl_did);
|
||||||
tcx.at(span).coerce_unsized_info(impl_did);
|
tcx.at(span).ensure().coerce_unsized_info(impl_did)
|
||||||
}
|
}
|
||||||
|
|
||||||
fn visit_implementation_of_dispatch_from_dyn(tcx: TyCtxt<'_>, impl_did: LocalDefId) {
|
fn visit_implementation_of_dispatch_from_dyn(
|
||||||
|
tcx: TyCtxt<'_>,
|
||||||
|
impl_did: LocalDefId,
|
||||||
|
) -> Result<(), ErrorGuaranteed> {
|
||||||
debug!("visit_implementation_of_dispatch_from_dyn: impl_did={:?}", impl_did);
|
debug!("visit_implementation_of_dispatch_from_dyn: impl_did={:?}", impl_did);
|
||||||
|
|
||||||
let span = tcx.def_span(impl_did);
|
let span = tcx.def_span(impl_did);
|
||||||
@ -166,26 +189,28 @@ fn visit_implementation_of_dispatch_from_dyn(tcx: TyCtxt<'_>, impl_did: LocalDef
|
|||||||
match (source.kind(), target.kind()) {
|
match (source.kind(), target.kind()) {
|
||||||
(&Ref(r_a, _, mutbl_a), Ref(r_b, _, mutbl_b))
|
(&Ref(r_a, _, mutbl_a), Ref(r_b, _, mutbl_b))
|
||||||
if infcx.at(&cause, param_env).eq(DefineOpaqueTypes::No, r_a, *r_b).is_ok()
|
if infcx.at(&cause, param_env).eq(DefineOpaqueTypes::No, r_a, *r_b).is_ok()
|
||||||
&& mutbl_a == *mutbl_b => {}
|
&& mutbl_a == *mutbl_b =>
|
||||||
(&RawPtr(tm_a), &RawPtr(tm_b)) if tm_a.mutbl == tm_b.mutbl => (),
|
{
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
(&RawPtr(tm_a), &RawPtr(tm_b)) if tm_a.mutbl == tm_b.mutbl => Ok(()),
|
||||||
(&Adt(def_a, args_a), &Adt(def_b, args_b)) if def_a.is_struct() && def_b.is_struct() => {
|
(&Adt(def_a, args_a), &Adt(def_b, args_b)) if def_a.is_struct() && def_b.is_struct() => {
|
||||||
if def_a != def_b {
|
if def_a != def_b {
|
||||||
let source_path = tcx.def_path_str(def_a.did());
|
let source_path = tcx.def_path_str(def_a.did());
|
||||||
let target_path = tcx.def_path_str(def_b.did());
|
let target_path = tcx.def_path_str(def_b.did());
|
||||||
|
|
||||||
tcx.dcx().emit_err(errors::DispatchFromDynCoercion {
|
return Err(tcx.dcx().emit_err(errors::DispatchFromDynCoercion {
|
||||||
span,
|
span,
|
||||||
trait_name: "DispatchFromDyn",
|
trait_name: "DispatchFromDyn",
|
||||||
note: true,
|
note: true,
|
||||||
source_path,
|
source_path,
|
||||||
target_path,
|
target_path,
|
||||||
});
|
}));
|
||||||
|
|
||||||
return;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
let mut res = Ok(());
|
||||||
if def_a.repr().c() || def_a.repr().packed() {
|
if def_a.repr().c() || def_a.repr().packed() {
|
||||||
tcx.dcx().emit_err(errors::DispatchFromDynRepr { span });
|
res = Err(tcx.dcx().emit_err(errors::DispatchFromDynRepr { span }));
|
||||||
}
|
}
|
||||||
|
|
||||||
let fields = &def_a.non_enum_variant().fields;
|
let fields = &def_a.non_enum_variant().fields;
|
||||||
@ -207,11 +232,11 @@ fn visit_implementation_of_dispatch_from_dyn(tcx: TyCtxt<'_>, impl_did: LocalDef
|
|||||||
infcx.at(&cause, param_env).eq(DefineOpaqueTypes::No, ty_a, ty_b)
|
infcx.at(&cause, param_env).eq(DefineOpaqueTypes::No, ty_a, ty_b)
|
||||||
{
|
{
|
||||||
if ok.obligations.is_empty() {
|
if ok.obligations.is_empty() {
|
||||||
tcx.dcx().emit_err(errors::DispatchFromDynZST {
|
res = Err(tcx.dcx().emit_err(errors::DispatchFromDynZST {
|
||||||
span,
|
span,
|
||||||
name: field.name,
|
name: field.name,
|
||||||
ty: ty_a,
|
ty: ty_a,
|
||||||
});
|
}));
|
||||||
|
|
||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
@ -222,13 +247,13 @@ fn visit_implementation_of_dispatch_from_dyn(tcx: TyCtxt<'_>, impl_did: LocalDef
|
|||||||
.collect::<Vec<_>>();
|
.collect::<Vec<_>>();
|
||||||
|
|
||||||
if coerced_fields.is_empty() {
|
if coerced_fields.is_empty() {
|
||||||
tcx.dcx().emit_err(errors::DispatchFromDynSingle {
|
res = Err(tcx.dcx().emit_err(errors::DispatchFromDynSingle {
|
||||||
span,
|
span,
|
||||||
trait_name: "DispatchFromDyn",
|
trait_name: "DispatchFromDyn",
|
||||||
note: true,
|
note: true,
|
||||||
});
|
}));
|
||||||
} else if coerced_fields.len() > 1 {
|
} else if coerced_fields.len() > 1 {
|
||||||
tcx.dcx().emit_err(errors::DispatchFromDynMulti {
|
res = Err(tcx.dcx().emit_err(errors::DispatchFromDynMulti {
|
||||||
span,
|
span,
|
||||||
coercions_note: true,
|
coercions_note: true,
|
||||||
number: coerced_fields.len(),
|
number: coerced_fields.len(),
|
||||||
@ -244,7 +269,7 @@ fn visit_implementation_of_dispatch_from_dyn(tcx: TyCtxt<'_>, impl_did: LocalDef
|
|||||||
})
|
})
|
||||||
.collect::<Vec<_>>()
|
.collect::<Vec<_>>()
|
||||||
.join(", "),
|
.join(", "),
|
||||||
});
|
}));
|
||||||
} else {
|
} else {
|
||||||
let ocx = ObligationCtxt::new(&infcx);
|
let ocx = ObligationCtxt::new(&infcx);
|
||||||
for field in coerced_fields {
|
for field in coerced_fields {
|
||||||
@ -261,21 +286,25 @@ fn visit_implementation_of_dispatch_from_dyn(tcx: TyCtxt<'_>, impl_did: LocalDef
|
|||||||
}
|
}
|
||||||
let errors = ocx.select_all_or_error();
|
let errors = ocx.select_all_or_error();
|
||||||
if !errors.is_empty() {
|
if !errors.is_empty() {
|
||||||
infcx.err_ctxt().report_fulfillment_errors(errors);
|
res = Err(infcx.err_ctxt().report_fulfillment_errors(errors));
|
||||||
}
|
}
|
||||||
|
|
||||||
// Finally, resolve all regions.
|
// Finally, resolve all regions.
|
||||||
let outlives_env = OutlivesEnvironment::new(param_env);
|
let outlives_env = OutlivesEnvironment::new(param_env);
|
||||||
let _ = ocx.resolve_regions_and_report_errors(impl_did, &outlives_env);
|
res = res.and(ocx.resolve_regions_and_report_errors(impl_did, &outlives_env));
|
||||||
}
|
}
|
||||||
|
res
|
||||||
}
|
}
|
||||||
_ => {
|
_ => Err(tcx
|
||||||
tcx.dcx().emit_err(errors::CoerceUnsizedMay { span, trait_name: "DispatchFromDyn" });
|
.dcx()
|
||||||
}
|
.emit_err(errors::CoerceUnsizedMay { span, trait_name: "DispatchFromDyn" })),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn coerce_unsized_info<'tcx>(tcx: TyCtxt<'tcx>, impl_did: LocalDefId) -> CoerceUnsizedInfo {
|
pub fn coerce_unsized_info<'tcx>(
|
||||||
|
tcx: TyCtxt<'tcx>,
|
||||||
|
impl_did: LocalDefId,
|
||||||
|
) -> Result<CoerceUnsizedInfo, ErrorGuaranteed> {
|
||||||
debug!("compute_coerce_unsized_info(impl_did={:?})", impl_did);
|
debug!("compute_coerce_unsized_info(impl_did={:?})", impl_did);
|
||||||
let span = tcx.def_span(impl_did);
|
let span = tcx.def_span(impl_did);
|
||||||
|
|
||||||
@ -292,8 +321,6 @@ pub fn coerce_unsized_info<'tcx>(tcx: TyCtxt<'tcx>, impl_did: LocalDefId) -> Coe
|
|||||||
let param_env = tcx.param_env(impl_did);
|
let param_env = tcx.param_env(impl_did);
|
||||||
assert!(!source.has_escaping_bound_vars());
|
assert!(!source.has_escaping_bound_vars());
|
||||||
|
|
||||||
let err_info = CoerceUnsizedInfo { custom_kind: None };
|
|
||||||
|
|
||||||
debug!("visit_implementation_of_coerce_unsized: {:?} -> {:?} (free)", source, target);
|
debug!("visit_implementation_of_coerce_unsized: {:?} -> {:?} (free)", source, target);
|
||||||
|
|
||||||
let infcx = tcx.infer_ctxt().build();
|
let infcx = tcx.infer_ctxt().build();
|
||||||
@ -337,14 +364,13 @@ pub fn coerce_unsized_info<'tcx>(tcx: TyCtxt<'tcx>, impl_did: LocalDefId) -> Coe
|
|||||||
if def_a != def_b {
|
if def_a != def_b {
|
||||||
let source_path = tcx.def_path_str(def_a.did());
|
let source_path = tcx.def_path_str(def_a.did());
|
||||||
let target_path = tcx.def_path_str(def_b.did());
|
let target_path = tcx.def_path_str(def_b.did());
|
||||||
tcx.dcx().emit_err(errors::DispatchFromDynSame {
|
return Err(tcx.dcx().emit_err(errors::DispatchFromDynSame {
|
||||||
span,
|
span,
|
||||||
trait_name: "CoerceUnsized",
|
trait_name: "CoerceUnsized",
|
||||||
note: true,
|
note: true,
|
||||||
source_path,
|
source_path,
|
||||||
target_path,
|
target_path,
|
||||||
});
|
}));
|
||||||
return err_info;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
// Here we are considering a case of converting
|
// Here we are considering a case of converting
|
||||||
@ -419,12 +445,11 @@ pub fn coerce_unsized_info<'tcx>(tcx: TyCtxt<'tcx>, impl_did: LocalDefId) -> Coe
|
|||||||
.collect::<Vec<_>>();
|
.collect::<Vec<_>>();
|
||||||
|
|
||||||
if diff_fields.is_empty() {
|
if diff_fields.is_empty() {
|
||||||
tcx.dcx().emit_err(errors::CoerceUnsizedOneField {
|
return Err(tcx.dcx().emit_err(errors::CoerceUnsizedOneField {
|
||||||
span,
|
span,
|
||||||
trait_name: "CoerceUnsized",
|
trait_name: "CoerceUnsized",
|
||||||
note: true,
|
note: true,
|
||||||
});
|
}));
|
||||||
return err_info;
|
|
||||||
} else if diff_fields.len() > 1 {
|
} else if diff_fields.len() > 1 {
|
||||||
let item = tcx.hir().expect_item(impl_did);
|
let item = tcx.hir().expect_item(impl_did);
|
||||||
let span = if let ItemKind::Impl(hir::Impl { of_trait: Some(t), .. }) = &item.kind {
|
let span = if let ItemKind::Impl(hir::Impl { of_trait: Some(t), .. }) = &item.kind {
|
||||||
@ -433,7 +458,7 @@ pub fn coerce_unsized_info<'tcx>(tcx: TyCtxt<'tcx>, impl_did: LocalDefId) -> Coe
|
|||||||
tcx.def_span(impl_did)
|
tcx.def_span(impl_did)
|
||||||
};
|
};
|
||||||
|
|
||||||
tcx.dcx().emit_err(errors::CoerceUnsizedMulti {
|
return Err(tcx.dcx().emit_err(errors::CoerceUnsizedMulti {
|
||||||
span,
|
span,
|
||||||
coercions_note: true,
|
coercions_note: true,
|
||||||
number: diff_fields.len(),
|
number: diff_fields.len(),
|
||||||
@ -442,9 +467,7 @@ pub fn coerce_unsized_info<'tcx>(tcx: TyCtxt<'tcx>, impl_did: LocalDefId) -> Coe
|
|||||||
.map(|&(i, a, b)| format!("`{}` (`{}` to `{}`)", fields[i].name, a, b))
|
.map(|&(i, a, b)| format!("`{}` (`{}` to `{}`)", fields[i].name, a, b))
|
||||||
.collect::<Vec<_>>()
|
.collect::<Vec<_>>()
|
||||||
.join(", "),
|
.join(", "),
|
||||||
});
|
}));
|
||||||
|
|
||||||
return err_info;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
let (i, a, b) = diff_fields[0];
|
let (i, a, b) = diff_fields[0];
|
||||||
@ -453,8 +476,9 @@ pub fn coerce_unsized_info<'tcx>(tcx: TyCtxt<'tcx>, impl_did: LocalDefId) -> Coe
|
|||||||
}
|
}
|
||||||
|
|
||||||
_ => {
|
_ => {
|
||||||
tcx.dcx().emit_err(errors::DispatchFromDynStruct { span, trait_name: "CoerceUnsized" });
|
return Err(tcx
|
||||||
return err_info;
|
.dcx()
|
||||||
|
.emit_err(errors::DispatchFromDynStruct { span, trait_name: "CoerceUnsized" }));
|
||||||
}
|
}
|
||||||
};
|
};
|
||||||
|
|
||||||
@ -477,7 +501,7 @@ pub fn coerce_unsized_info<'tcx>(tcx: TyCtxt<'tcx>, impl_did: LocalDefId) -> Coe
|
|||||||
let outlives_env = OutlivesEnvironment::new(param_env);
|
let outlives_env = OutlivesEnvironment::new(param_env);
|
||||||
let _ = ocx.resolve_regions_and_report_errors(impl_did, &outlives_env);
|
let _ = ocx.resolve_regions_and_report_errors(impl_did, &outlives_env);
|
||||||
|
|
||||||
CoerceUnsizedInfo { custom_kind: kind }
|
Ok(CoerceUnsizedInfo { custom_kind: kind })
|
||||||
}
|
}
|
||||||
|
|
||||||
fn infringing_fields_error(
|
fn infringing_fields_error(
|
||||||
|
@ -10,6 +10,7 @@ use rustc_errors::{error_code, struct_span_code_err};
|
|||||||
use rustc_hir::def_id::{DefId, LocalDefId};
|
use rustc_hir::def_id::{DefId, LocalDefId};
|
||||||
use rustc_middle::query::Providers;
|
use rustc_middle::query::Providers;
|
||||||
use rustc_middle::ty::{self, TyCtxt, TypeVisitableExt};
|
use rustc_middle::ty::{self, TyCtxt, TypeVisitableExt};
|
||||||
|
use rustc_span::ErrorGuaranteed;
|
||||||
use rustc_trait_selection::traits;
|
use rustc_trait_selection::traits;
|
||||||
|
|
||||||
mod builtin;
|
mod builtin;
|
||||||
@ -18,7 +19,11 @@ mod inherent_impls_overlap;
|
|||||||
mod orphan;
|
mod orphan;
|
||||||
mod unsafety;
|
mod unsafety;
|
||||||
|
|
||||||
fn check_impl(tcx: TyCtxt<'_>, impl_def_id: LocalDefId, trait_ref: ty::TraitRef<'_>) {
|
fn check_impl(
|
||||||
|
tcx: TyCtxt<'_>,
|
||||||
|
impl_def_id: LocalDefId,
|
||||||
|
trait_ref: ty::TraitRef<'_>,
|
||||||
|
) -> Result<(), ErrorGuaranteed> {
|
||||||
debug!(
|
debug!(
|
||||||
"(checking implementation) adding impl for trait '{:?}', item '{}'",
|
"(checking implementation) adding impl for trait '{:?}', item '{}'",
|
||||||
trait_ref,
|
trait_ref,
|
||||||
@ -28,18 +33,18 @@ fn check_impl(tcx: TyCtxt<'_>, impl_def_id: LocalDefId, trait_ref: ty::TraitRef<
|
|||||||
// Skip impls where one of the self type is an error type.
|
// Skip impls where one of the self type is an error type.
|
||||||
// This occurs with e.g., resolve failures (#30589).
|
// This occurs with e.g., resolve failures (#30589).
|
||||||
if trait_ref.references_error() {
|
if trait_ref.references_error() {
|
||||||
return;
|
return Ok(());
|
||||||
}
|
}
|
||||||
|
|
||||||
enforce_trait_manually_implementable(tcx, impl_def_id, trait_ref.def_id);
|
enforce_trait_manually_implementable(tcx, impl_def_id, trait_ref.def_id)
|
||||||
enforce_empty_impls_for_marker_traits(tcx, impl_def_id, trait_ref.def_id);
|
.and(enforce_empty_impls_for_marker_traits(tcx, impl_def_id, trait_ref.def_id))
|
||||||
}
|
}
|
||||||
|
|
||||||
fn enforce_trait_manually_implementable(
|
fn enforce_trait_manually_implementable(
|
||||||
tcx: TyCtxt<'_>,
|
tcx: TyCtxt<'_>,
|
||||||
impl_def_id: LocalDefId,
|
impl_def_id: LocalDefId,
|
||||||
trait_def_id: DefId,
|
trait_def_id: DefId,
|
||||||
) {
|
) -> Result<(), ErrorGuaranteed> {
|
||||||
let impl_header_span = tcx.def_span(impl_def_id);
|
let impl_header_span = tcx.def_span(impl_def_id);
|
||||||
|
|
||||||
// Disallow *all* explicit impls of traits marked `#[rustc_deny_explicit_impl]`
|
// Disallow *all* explicit impls of traits marked `#[rustc_deny_explicit_impl]`
|
||||||
@ -59,18 +64,17 @@ fn enforce_trait_manually_implementable(
|
|||||||
err.code(error_code!(E0328));
|
err.code(error_code!(E0328));
|
||||||
}
|
}
|
||||||
|
|
||||||
err.emit();
|
return Err(err.emit());
|
||||||
return;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
if let ty::trait_def::TraitSpecializationKind::AlwaysApplicable =
|
if let ty::trait_def::TraitSpecializationKind::AlwaysApplicable =
|
||||||
tcx.trait_def(trait_def_id).specialization_kind
|
tcx.trait_def(trait_def_id).specialization_kind
|
||||||
{
|
{
|
||||||
if !tcx.features().specialization && !tcx.features().min_specialization {
|
if !tcx.features().specialization && !tcx.features().min_specialization {
|
||||||
tcx.dcx().emit_err(errors::SpecializationTrait { span: impl_header_span });
|
return Err(tcx.dcx().emit_err(errors::SpecializationTrait { span: impl_header_span }));
|
||||||
return;
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
Ok(())
|
||||||
}
|
}
|
||||||
|
|
||||||
/// We allow impls of marker traits to overlap, so they can't override impls
|
/// We allow impls of marker traits to overlap, so they can't override impls
|
||||||
@ -79,22 +83,22 @@ fn enforce_empty_impls_for_marker_traits(
|
|||||||
tcx: TyCtxt<'_>,
|
tcx: TyCtxt<'_>,
|
||||||
impl_def_id: LocalDefId,
|
impl_def_id: LocalDefId,
|
||||||
trait_def_id: DefId,
|
trait_def_id: DefId,
|
||||||
) {
|
) -> Result<(), ErrorGuaranteed> {
|
||||||
if !tcx.trait_def(trait_def_id).is_marker {
|
if !tcx.trait_def(trait_def_id).is_marker {
|
||||||
return;
|
return Ok(());
|
||||||
}
|
}
|
||||||
|
|
||||||
if tcx.associated_item_def_ids(trait_def_id).is_empty() {
|
if tcx.associated_item_def_ids(trait_def_id).is_empty() {
|
||||||
return;
|
return Ok(());
|
||||||
}
|
}
|
||||||
|
|
||||||
struct_span_code_err!(
|
Err(struct_span_code_err!(
|
||||||
tcx.dcx(),
|
tcx.dcx(),
|
||||||
tcx.def_span(impl_def_id),
|
tcx.def_span(impl_def_id),
|
||||||
E0715,
|
E0715,
|
||||||
"impls for marker traits cannot contain items"
|
"impls for marker traits cannot contain items"
|
||||||
)
|
)
|
||||||
.emit();
|
.emit())
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn provide(providers: &mut Providers) {
|
pub fn provide(providers: &mut Providers) {
|
||||||
@ -115,23 +119,23 @@ pub fn provide(providers: &mut Providers) {
|
|||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
||||||
fn coherent_trait(tcx: TyCtxt<'_>, def_id: DefId) {
|
fn coherent_trait(tcx: TyCtxt<'_>, def_id: DefId) -> Result<(), ErrorGuaranteed> {
|
||||||
// Trigger building the specialization graph for the trait. This will detect and report any
|
// Trigger building the specialization graph for the trait. This will detect and report any
|
||||||
// overlap errors.
|
// overlap errors.
|
||||||
tcx.ensure().specialization_graph_of(def_id);
|
let mut res = tcx.ensure().specialization_graph_of(def_id);
|
||||||
|
|
||||||
let impls = tcx.hir().trait_impls(def_id);
|
let impls = tcx.hir().trait_impls(def_id);
|
||||||
for &impl_def_id in impls {
|
for &impl_def_id in impls {
|
||||||
let trait_ref = tcx.impl_trait_ref(impl_def_id).unwrap().instantiate_identity();
|
let trait_ref = tcx.impl_trait_ref(impl_def_id).unwrap().instantiate_identity();
|
||||||
|
|
||||||
check_impl(tcx, impl_def_id, trait_ref);
|
res = res.and(check_impl(tcx, impl_def_id, trait_ref));
|
||||||
check_object_overlap(tcx, impl_def_id, trait_ref);
|
res = res.and(check_object_overlap(tcx, impl_def_id, trait_ref));
|
||||||
|
|
||||||
unsafety::check_item(tcx, impl_def_id);
|
res = res.and(unsafety::check_item(tcx, impl_def_id));
|
||||||
tcx.ensure().orphan_check_impl(impl_def_id);
|
res = res.and(tcx.ensure().orphan_check_impl(impl_def_id));
|
||||||
}
|
}
|
||||||
|
|
||||||
builtin::check_trait(tcx, def_id);
|
res.and(builtin::check_trait(tcx, def_id))
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Checks whether an impl overlaps with the automatic `impl Trait for dyn Trait`.
|
/// Checks whether an impl overlaps with the automatic `impl Trait for dyn Trait`.
|
||||||
@ -139,12 +143,12 @@ fn check_object_overlap<'tcx>(
|
|||||||
tcx: TyCtxt<'tcx>,
|
tcx: TyCtxt<'tcx>,
|
||||||
impl_def_id: LocalDefId,
|
impl_def_id: LocalDefId,
|
||||||
trait_ref: ty::TraitRef<'tcx>,
|
trait_ref: ty::TraitRef<'tcx>,
|
||||||
) {
|
) -> Result<(), ErrorGuaranteed> {
|
||||||
let trait_def_id = trait_ref.def_id;
|
let trait_def_id = trait_ref.def_id;
|
||||||
|
|
||||||
if trait_ref.references_error() {
|
if trait_ref.references_error() {
|
||||||
debug!("coherence: skipping impl {:?} with error {:?}", impl_def_id, trait_ref);
|
debug!("coherence: skipping impl {:?} with error {:?}", impl_def_id, trait_ref);
|
||||||
return;
|
return Ok(());
|
||||||
}
|
}
|
||||||
|
|
||||||
// check for overlap with the automatic `impl Trait for dyn Trait`
|
// check for overlap with the automatic `impl Trait for dyn Trait`
|
||||||
@ -173,7 +177,7 @@ fn check_object_overlap<'tcx>(
|
|||||||
let mut supertrait_def_ids = traits::supertrait_def_ids(tcx, component_def_id);
|
let mut supertrait_def_ids = traits::supertrait_def_ids(tcx, component_def_id);
|
||||||
if supertrait_def_ids.any(|d| d == trait_def_id) {
|
if supertrait_def_ids.any(|d| d == trait_def_id) {
|
||||||
let span = tcx.def_span(impl_def_id);
|
let span = tcx.def_span(impl_def_id);
|
||||||
struct_span_code_err!(
|
return Err(struct_span_code_err!(
|
||||||
tcx.dcx(),
|
tcx.dcx(),
|
||||||
span,
|
span,
|
||||||
E0371,
|
E0371,
|
||||||
@ -189,9 +193,10 @@ fn check_object_overlap<'tcx>(
|
|||||||
tcx.def_path_str(trait_def_id)
|
tcx.def_path_str(trait_def_id)
|
||||||
),
|
),
|
||||||
)
|
)
|
||||||
.emit();
|
.emit());
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
Ok(())
|
||||||
}
|
}
|
||||||
|
@ -6,8 +6,9 @@ use rustc_hir as hir;
|
|||||||
use rustc_hir::Unsafety;
|
use rustc_hir::Unsafety;
|
||||||
use rustc_middle::ty::TyCtxt;
|
use rustc_middle::ty::TyCtxt;
|
||||||
use rustc_span::def_id::LocalDefId;
|
use rustc_span::def_id::LocalDefId;
|
||||||
|
use rustc_span::ErrorGuaranteed;
|
||||||
|
|
||||||
pub(super) fn check_item(tcx: TyCtxt<'_>, def_id: LocalDefId) {
|
pub(super) fn check_item(tcx: TyCtxt<'_>, def_id: LocalDefId) -> Result<(), ErrorGuaranteed> {
|
||||||
let item = tcx.hir().expect_item(def_id);
|
let item = tcx.hir().expect_item(def_id);
|
||||||
let impl_ = item.expect_impl();
|
let impl_ = item.expect_impl();
|
||||||
|
|
||||||
@ -18,7 +19,7 @@ pub(super) fn check_item(tcx: TyCtxt<'_>, def_id: LocalDefId) {
|
|||||||
impl_.generics.params.iter().find(|p| p.pure_wrt_drop).map(|_| "may_dangle");
|
impl_.generics.params.iter().find(|p| p.pure_wrt_drop).map(|_| "may_dangle");
|
||||||
match (trait_def.unsafety, unsafe_attr, impl_.unsafety, impl_.polarity) {
|
match (trait_def.unsafety, unsafe_attr, impl_.unsafety, impl_.polarity) {
|
||||||
(Unsafety::Normal, None, Unsafety::Unsafe, hir::ImplPolarity::Positive) => {
|
(Unsafety::Normal, None, Unsafety::Unsafe, hir::ImplPolarity::Positive) => {
|
||||||
struct_span_code_err!(
|
return Err(struct_span_code_err!(
|
||||||
tcx.dcx(),
|
tcx.dcx(),
|
||||||
tcx.def_span(def_id),
|
tcx.def_span(def_id),
|
||||||
E0199,
|
E0199,
|
||||||
@ -31,11 +32,11 @@ pub(super) fn check_item(tcx: TyCtxt<'_>, def_id: LocalDefId) {
|
|||||||
"",
|
"",
|
||||||
rustc_errors::Applicability::MachineApplicable,
|
rustc_errors::Applicability::MachineApplicable,
|
||||||
)
|
)
|
||||||
.emit();
|
.emit());
|
||||||
}
|
}
|
||||||
|
|
||||||
(Unsafety::Unsafe, _, Unsafety::Normal, hir::ImplPolarity::Positive) => {
|
(Unsafety::Unsafe, _, Unsafety::Normal, hir::ImplPolarity::Positive) => {
|
||||||
struct_span_code_err!(
|
return Err(struct_span_code_err!(
|
||||||
tcx.dcx(),
|
tcx.dcx(),
|
||||||
tcx.def_span(def_id),
|
tcx.def_span(def_id),
|
||||||
E0200,
|
E0200,
|
||||||
@ -54,11 +55,11 @@ pub(super) fn check_item(tcx: TyCtxt<'_>, def_id: LocalDefId) {
|
|||||||
"unsafe ",
|
"unsafe ",
|
||||||
rustc_errors::Applicability::MaybeIncorrect,
|
rustc_errors::Applicability::MaybeIncorrect,
|
||||||
)
|
)
|
||||||
.emit();
|
.emit());
|
||||||
}
|
}
|
||||||
|
|
||||||
(Unsafety::Normal, Some(attr_name), Unsafety::Normal, hir::ImplPolarity::Positive) => {
|
(Unsafety::Normal, Some(attr_name), Unsafety::Normal, hir::ImplPolarity::Positive) => {
|
||||||
struct_span_code_err!(
|
return Err(struct_span_code_err!(
|
||||||
tcx.dcx(),
|
tcx.dcx(),
|
||||||
tcx.def_span(def_id),
|
tcx.def_span(def_id),
|
||||||
E0569,
|
E0569,
|
||||||
@ -77,7 +78,7 @@ pub(super) fn check_item(tcx: TyCtxt<'_>, def_id: LocalDefId) {
|
|||||||
"unsafe ",
|
"unsafe ",
|
||||||
rustc_errors::Applicability::MaybeIncorrect,
|
rustc_errors::Applicability::MaybeIncorrect,
|
||||||
)
|
)
|
||||||
.emit();
|
.emit());
|
||||||
}
|
}
|
||||||
|
|
||||||
(_, _, Unsafety::Unsafe, hir::ImplPolarity::Negative(_)) => {
|
(_, _, Unsafety::Unsafe, hir::ImplPolarity::Negative(_)) => {
|
||||||
@ -92,4 +93,5 @@ pub(super) fn check_item(tcx: TyCtxt<'_>, def_id: LocalDefId) {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
Ok(())
|
||||||
}
|
}
|
||||||
|
@ -172,19 +172,15 @@ pub fn check_crate(tcx: TyCtxt<'_>) -> Result<(), ErrorGuaranteed> {
|
|||||||
|
|
||||||
tcx.sess.time("coherence_checking", || {
|
tcx.sess.time("coherence_checking", || {
|
||||||
// Check impls constrain their parameters
|
// Check impls constrain their parameters
|
||||||
let res =
|
let mut res =
|
||||||
tcx.hir().try_par_for_each_module(|module| tcx.ensure().check_mod_impl_wf(module));
|
tcx.hir().try_par_for_each_module(|module| tcx.ensure().check_mod_impl_wf(module));
|
||||||
|
|
||||||
// FIXME(matthewjasper) We shouldn't need to use `track_errors` anywhere in this function
|
for &trait_def_id in tcx.all_local_trait_impls(()).keys() {
|
||||||
// or the compiler in general.
|
res = res.and(tcx.ensure().coherent_trait(trait_def_id));
|
||||||
res.and(tcx.sess.track_errors(|| {
|
}
|
||||||
for &trait_def_id in tcx.all_local_trait_impls(()).keys() {
|
|
||||||
tcx.ensure().coherent_trait(trait_def_id);
|
|
||||||
}
|
|
||||||
}))
|
|
||||||
// these queries are executed for side-effects (error reporting):
|
// these queries are executed for side-effects (error reporting):
|
||||||
.and(tcx.ensure().crate_inherent_impls(()))
|
res.and(tcx.ensure().crate_inherent_impls(()))
|
||||||
.and(tcx.ensure().crate_inherent_impls_overlap_check(()))
|
.and(tcx.ensure().crate_inherent_impls_overlap_check(()))
|
||||||
})?;
|
})?;
|
||||||
|
|
||||||
if tcx.features().rustc_attrs {
|
if tcx.features().rustc_attrs {
|
||||||
|
@ -236,7 +236,14 @@ provide! { tcx, def_id, other, cdata,
|
|||||||
impl_polarity => { table_direct }
|
impl_polarity => { table_direct }
|
||||||
defaultness => { table_direct }
|
defaultness => { table_direct }
|
||||||
constness => { table_direct }
|
constness => { table_direct }
|
||||||
coerce_unsized_info => { table }
|
coerce_unsized_info => {
|
||||||
|
Ok(cdata
|
||||||
|
.root
|
||||||
|
.tables
|
||||||
|
.coerce_unsized_info
|
||||||
|
.get(cdata, def_id.index)
|
||||||
|
.map(|lazy| lazy.decode((cdata, tcx)))
|
||||||
|
.process_decoded(tcx, || panic!("{def_id:?} does not have coerce_unsized_info"))) }
|
||||||
mir_const_qualif => { table }
|
mir_const_qualif => { table }
|
||||||
rendered_const => { table }
|
rendered_const => { table }
|
||||||
asyncness => { table_direct }
|
asyncness => { table_direct }
|
||||||
|
@ -1994,7 +1994,7 @@ impl<'a, 'tcx> EncodeContext<'a, 'tcx> {
|
|||||||
// if this is an impl of `CoerceUnsized`, create its
|
// if this is an impl of `CoerceUnsized`, create its
|
||||||
// "unsized info", else just store None
|
// "unsized info", else just store None
|
||||||
if Some(trait_ref.def_id) == tcx.lang_items().coerce_unsized_trait() {
|
if Some(trait_ref.def_id) == tcx.lang_items().coerce_unsized_trait() {
|
||||||
let coerce_unsized_info = tcx.coerce_unsized_info(def_id);
|
let coerce_unsized_info = tcx.coerce_unsized_info(def_id).unwrap();
|
||||||
record!(self.tables.coerce_unsized_info[def_id] <- coerce_unsized_info);
|
record!(self.tables.coerce_unsized_info[def_id] <- coerce_unsized_info);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -1,6 +1,7 @@
|
|||||||
use crate::mir;
|
use crate::mir;
|
||||||
use crate::query::CyclePlaceholder;
|
use crate::query::CyclePlaceholder;
|
||||||
use crate::traits;
|
use crate::traits;
|
||||||
|
use crate::ty::adjustment::CoerceUnsizedInfo;
|
||||||
use crate::ty::{self, Ty};
|
use crate::ty::{self, Ty};
|
||||||
use std::intrinsics::transmute_unchecked;
|
use std::intrinsics::transmute_unchecked;
|
||||||
use std::mem::{size_of, MaybeUninit};
|
use std::mem::{size_of, MaybeUninit};
|
||||||
@ -105,6 +106,10 @@ impl EraseType for Result<Option<ty::Instance<'_>>, rustc_errors::ErrorGuarantee
|
|||||||
[u8; size_of::<Result<Option<ty::Instance<'static>>, rustc_errors::ErrorGuaranteed>>()];
|
[u8; size_of::<Result<Option<ty::Instance<'static>>, rustc_errors::ErrorGuaranteed>>()];
|
||||||
}
|
}
|
||||||
|
|
||||||
|
impl EraseType for Result<CoerceUnsizedInfo, rustc_errors::ErrorGuaranteed> {
|
||||||
|
type Result = [u8; size_of::<Result<CoerceUnsizedInfo, rustc_errors::ErrorGuaranteed>>()];
|
||||||
|
}
|
||||||
|
|
||||||
impl EraseType for Result<Option<ty::EarlyBinder<ty::Const<'_>>>, rustc_errors::ErrorGuaranteed> {
|
impl EraseType for Result<Option<ty::EarlyBinder<ty::Const<'_>>>, rustc_errors::ErrorGuaranteed> {
|
||||||
type Result = [u8; size_of::<
|
type Result = [u8; size_of::<
|
||||||
Result<Option<ty::EarlyBinder<ty::Const<'static>>>, rustc_errors::ErrorGuaranteed>,
|
Result<Option<ty::EarlyBinder<ty::Const<'static>>>, rustc_errors::ErrorGuaranteed>,
|
||||||
|
@ -968,10 +968,11 @@ rustc_queries! {
|
|||||||
}
|
}
|
||||||
|
|
||||||
/// Caches `CoerceUnsized` kinds for impls on custom types.
|
/// Caches `CoerceUnsized` kinds for impls on custom types.
|
||||||
query coerce_unsized_info(key: DefId) -> ty::adjustment::CoerceUnsizedInfo {
|
query coerce_unsized_info(key: DefId) -> Result<ty::adjustment::CoerceUnsizedInfo, ErrorGuaranteed> {
|
||||||
desc { |tcx| "computing CoerceUnsized info for `{}`", tcx.def_path_str(key) }
|
desc { |tcx| "computing CoerceUnsized info for `{}`", tcx.def_path_str(key) }
|
||||||
cache_on_disk_if { key.is_local() }
|
cache_on_disk_if { key.is_local() }
|
||||||
separate_provide_extern
|
separate_provide_extern
|
||||||
|
ensure_forwards_result_if_red
|
||||||
}
|
}
|
||||||
|
|
||||||
query typeck(key: LocalDefId) -> &'tcx ty::TypeckResults<'tcx> {
|
query typeck(key: LocalDefId) -> &'tcx ty::TypeckResults<'tcx> {
|
||||||
@ -991,8 +992,9 @@ rustc_queries! {
|
|||||||
desc { |tcx| "checking whether `{}` has a body", tcx.def_path_str(def_id) }
|
desc { |tcx| "checking whether `{}` has a body", tcx.def_path_str(def_id) }
|
||||||
}
|
}
|
||||||
|
|
||||||
query coherent_trait(def_id: DefId) -> () {
|
query coherent_trait(def_id: DefId) -> Result<(), ErrorGuaranteed> {
|
||||||
desc { |tcx| "coherence checking all impls of trait `{}`", tcx.def_path_str(def_id) }
|
desc { |tcx| "coherence checking all impls of trait `{}`", tcx.def_path_str(def_id) }
|
||||||
|
ensure_forwards_result_if_red
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Borrow-checks the function body. If this is a closure, returns
|
/// Borrow-checks the function body. If this is a closure, returns
|
||||||
@ -1023,6 +1025,7 @@ rustc_queries! {
|
|||||||
"checking whether impl `{}` follows the orphan rules",
|
"checking whether impl `{}` follows the orphan rules",
|
||||||
tcx.def_path_str(key),
|
tcx.def_path_str(key),
|
||||||
}
|
}
|
||||||
|
ensure_forwards_result_if_red
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Check whether the function has any recursion that could cause the inliner to trigger
|
/// Check whether the function has any recursion that could cause the inliner to trigger
|
||||||
@ -1291,6 +1294,7 @@ rustc_queries! {
|
|||||||
query specialization_graph_of(trait_id: DefId) -> Result<&'tcx specialization_graph::Graph, ErrorGuaranteed> {
|
query specialization_graph_of(trait_id: DefId) -> Result<&'tcx specialization_graph::Graph, ErrorGuaranteed> {
|
||||||
desc { |tcx| "building specialization graph of trait `{}`", tcx.def_path_str(trait_id) }
|
desc { |tcx| "building specialization graph of trait `{}`", tcx.def_path_str(trait_id) }
|
||||||
cache_on_disk_if { true }
|
cache_on_disk_if { true }
|
||||||
|
ensure_forwards_result_if_red
|
||||||
}
|
}
|
||||||
query object_safety_violations(trait_id: DefId) -> &'tcx [ObjectSafetyViolation] {
|
query object_safety_violations(trait_id: DefId) -> &'tcx [ObjectSafetyViolation] {
|
||||||
desc { |tcx| "determining object safety of trait `{}`", tcx.def_path_str(trait_id) }
|
desc { |tcx| "determining object safety of trait `{}`", tcx.def_path_str(trait_id) }
|
||||||
|
@ -350,7 +350,7 @@ impl<'tcx> TyCtxt<'tcx> {
|
|||||||
validate: impl Fn(Self, DefId) -> Result<(), ErrorGuaranteed>,
|
validate: impl Fn(Self, DefId) -> Result<(), ErrorGuaranteed>,
|
||||||
) -> Option<ty::Destructor> {
|
) -> Option<ty::Destructor> {
|
||||||
let drop_trait = self.lang_items().drop_trait()?;
|
let drop_trait = self.lang_items().drop_trait()?;
|
||||||
self.ensure().coherent_trait(drop_trait);
|
self.ensure().coherent_trait(drop_trait).ok()?;
|
||||||
|
|
||||||
let ty = self.type_of(adt_did).instantiate_identity();
|
let ty = self.type_of(adt_did).instantiate_identity();
|
||||||
let mut dtor_candidate = None;
|
let mut dtor_candidate = None;
|
||||||
|
@ -1114,7 +1114,13 @@ fn find_vtable_types_for_unsizing<'tcx>(
|
|||||||
assert_eq!(source_adt_def, target_adt_def);
|
assert_eq!(source_adt_def, target_adt_def);
|
||||||
|
|
||||||
let CustomCoerceUnsized::Struct(coerce_index) =
|
let CustomCoerceUnsized::Struct(coerce_index) =
|
||||||
crate::custom_coerce_unsize_info(tcx, source_ty, target_ty);
|
match crate::custom_coerce_unsize_info(tcx, source_ty, target_ty) {
|
||||||
|
Ok(ccu) => ccu,
|
||||||
|
Err(e) => {
|
||||||
|
let e = Ty::new_error(tcx.tcx, e);
|
||||||
|
return (e, e);
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
let source_fields = &source_adt_def.non_enum_variant().fields;
|
let source_fields = &source_adt_def.non_enum_variant().fields;
|
||||||
let target_fields = &target_adt_def.non_enum_variant().fields;
|
let target_fields = &target_adt_def.non_enum_variant().fields;
|
||||||
|
@ -15,6 +15,7 @@ use rustc_middle::query::{Providers, TyCtxtAt};
|
|||||||
use rustc_middle::traits;
|
use rustc_middle::traits;
|
||||||
use rustc_middle::ty::adjustment::CustomCoerceUnsized;
|
use rustc_middle::ty::adjustment::CustomCoerceUnsized;
|
||||||
use rustc_middle::ty::{self, Ty};
|
use rustc_middle::ty::{self, Ty};
|
||||||
|
use rustc_span::ErrorGuaranteed;
|
||||||
|
|
||||||
mod collector;
|
mod collector;
|
||||||
mod errors;
|
mod errors;
|
||||||
@ -28,7 +29,7 @@ fn custom_coerce_unsize_info<'tcx>(
|
|||||||
tcx: TyCtxtAt<'tcx>,
|
tcx: TyCtxtAt<'tcx>,
|
||||||
source_ty: Ty<'tcx>,
|
source_ty: Ty<'tcx>,
|
||||||
target_ty: Ty<'tcx>,
|
target_ty: Ty<'tcx>,
|
||||||
) -> CustomCoerceUnsized {
|
) -> Result<CustomCoerceUnsized, ErrorGuaranteed> {
|
||||||
let trait_ref = ty::TraitRef::from_lang_item(
|
let trait_ref = ty::TraitRef::from_lang_item(
|
||||||
tcx.tcx,
|
tcx.tcx,
|
||||||
LangItem::CoerceUnsized,
|
LangItem::CoerceUnsized,
|
||||||
@ -40,7 +41,7 @@ fn custom_coerce_unsize_info<'tcx>(
|
|||||||
Ok(traits::ImplSource::UserDefined(traits::ImplSourceUserDefinedData {
|
Ok(traits::ImplSource::UserDefined(traits::ImplSourceUserDefinedData {
|
||||||
impl_def_id,
|
impl_def_id,
|
||||||
..
|
..
|
||||||
})) => tcx.coerce_unsized_info(impl_def_id).custom_kind.unwrap(),
|
})) => Ok(tcx.coerce_unsized_info(impl_def_id)?.custom_kind.unwrap()),
|
||||||
impl_source => {
|
impl_source => {
|
||||||
bug!("invalid `CoerceUnsized` impl_source: {:?}", impl_source);
|
bug!("invalid `CoerceUnsized` impl_source: {:?}", impl_source);
|
||||||
}
|
}
|
||||||
|
@ -332,20 +332,6 @@ impl Session {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
// FIXME(matthewjasper) Remove this method, it should never be needed.
|
|
||||||
pub fn track_errors<F, T>(&self, f: F) -> Result<T, ErrorGuaranteed>
|
|
||||||
where
|
|
||||||
F: FnOnce() -> T,
|
|
||||||
{
|
|
||||||
let old_count = self.dcx().err_count();
|
|
||||||
let result = f();
|
|
||||||
if self.dcx().err_count() == old_count {
|
|
||||||
Ok(result)
|
|
||||||
} else {
|
|
||||||
Err(self.dcx().delayed_bug("`self.err_count()` changed but an error was not emitted"))
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
/// Used for code paths of expensive computations that should only take place when
|
/// Used for code paths of expensive computations that should only take place when
|
||||||
/// warnings or errors are emitted. If no messages are emitted ("good path"), then
|
/// warnings or errors are emitted. If no messages are emitted ("good path"), then
|
||||||
/// it's likely a bug.
|
/// it's likely a bug.
|
||||||
|
@ -14,6 +14,5 @@ fn foo<A: TraitWAssocConst<A=32>>() { //~ ERROR E0658
|
|||||||
|
|
||||||
fn main<A: TraitWAssocConst<A=32>>() {
|
fn main<A: TraitWAssocConst<A=32>>() {
|
||||||
//~^ ERROR E0658
|
//~^ ERROR E0658
|
||||||
//~| ERROR E0131
|
|
||||||
foo::<Demo>();
|
foo::<Demo>();
|
||||||
}
|
}
|
||||||
|
@ -43,13 +43,7 @@ LL | impl TraitWAssocConst for impl Demo {
|
|||||||
|
|
|
|
||||||
= note: `impl Trait` is only allowed in arguments and return types of functions and methods
|
= note: `impl Trait` is only allowed in arguments and return types of functions and methods
|
||||||
|
|
||||||
error[E0131]: `main` function is not allowed to have generic parameters
|
error: aborting due to 5 previous errors
|
||||||
--> $DIR/issue-105330.rs:15:8
|
|
||||||
|
|
|
||||||
LL | fn main<A: TraitWAssocConst<A=32>>() {
|
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ `main` cannot have generic parameters
|
|
||||||
|
|
||||||
error: aborting due to 6 previous errors
|
Some errors have detailed explanations: E0404, E0562, E0658.
|
||||||
|
For more information about an error, try `rustc --explain E0404`.
|
||||||
Some errors have detailed explanations: E0131, E0404, E0562, E0658.
|
|
||||||
For more information about an error, try `rustc --explain E0131`.
|
|
||||||
|
@ -22,7 +22,22 @@ pub trait Column: Expression {}
|
|||||||
|
|
||||||
#[derive(Debug, Copy, Clone)]
|
#[derive(Debug, Copy, Clone)]
|
||||||
//~^ ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
//~^ ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
//~| ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
//~| ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
//~| ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
//~| ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
//~| ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
//~| ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
//~| ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
//~| ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
//~| ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
//~| ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
//~| ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
//~| ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
//~| ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
pub enum ColumnInsertValue<Col, Expr> where
|
pub enum ColumnInsertValue<Col, Expr> where
|
||||||
|
//~^ ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
//~| ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
Col: Column,
|
Col: Column,
|
||||||
Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>,
|
Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>,
|
||||||
{
|
{
|
||||||
|
@ -17,6 +17,272 @@ help: consider further restricting the associated type
|
|||||||
LL | Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
|
LL | Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
|
||||||
| +++++++++++++++++++++++++++++++++++++++
|
| +++++++++++++++++++++++++++++++++++++++
|
||||||
|
|
||||||
error: aborting due to 1 previous error
|
error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
--> $DIR/issue-38821.rs:38:1
|
||||||
|
|
|
||||||
|
LL | pub enum ColumnInsertValue<Col, Expr> where
|
||||||
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
|
||||||
|
|
|
||||||
|
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
|
||||||
|
--> $DIR/issue-38821.rs:9:18
|
||||||
|
|
|
||||||
|
LL | impl<T: NotNull> IntoNullable for T {
|
||||||
|
| ------- ^^^^^^^^^^^^ ^
|
||||||
|
| |
|
||||||
|
| unsatisfied trait bound introduced here
|
||||||
|
help: consider extending the `where` clause, but there might be an alternative better way to express this requirement
|
||||||
|
|
|
||||||
|
LL | Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull
|
||||||
|
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
||||||
|
|
||||||
|
error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
--> $DIR/issue-38821.rs:38:1
|
||||||
|
|
|
||||||
|
LL | / pub enum ColumnInsertValue<Col, Expr> where
|
||||||
|
LL | |
|
||||||
|
LL | |
|
||||||
|
LL | | Col: Column,
|
||||||
|
... |
|
||||||
|
LL | | Default(Col),
|
||||||
|
LL | | }
|
||||||
|
| |_^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
|
||||||
|
|
|
||||||
|
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
|
||||||
|
--> $DIR/issue-38821.rs:9:18
|
||||||
|
|
|
||||||
|
LL | impl<T: NotNull> IntoNullable for T {
|
||||||
|
| ------- ^^^^^^^^^^^^ ^
|
||||||
|
| |
|
||||||
|
| unsatisfied trait bound introduced here
|
||||||
|
help: consider extending the `where` clause, but there might be an alternative better way to express this requirement
|
||||||
|
|
|
||||||
|
LL | Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull
|
||||||
|
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
||||||
|
|
||||||
|
error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
--> $DIR/issue-38821.rs:23:10
|
||||||
|
|
|
||||||
|
LL | #[derive(Debug, Copy, Clone)]
|
||||||
|
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
|
||||||
|
|
|
||||||
|
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
|
||||||
|
--> $DIR/issue-38821.rs:9:18
|
||||||
|
|
|
||||||
|
LL | impl<T: NotNull> IntoNullable for T {
|
||||||
|
| ------- ^^^^^^^^^^^^ ^
|
||||||
|
| |
|
||||||
|
| unsatisfied trait bound introduced here
|
||||||
|
= note: this error originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
|
||||||
|
help: consider further restricting the associated type
|
||||||
|
|
|
||||||
|
LL | Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
|
||||||
|
| +++++++++++++++++++++++++++++++++++++++
|
||||||
|
|
||||||
|
error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
--> $DIR/issue-38821.rs:23:10
|
||||||
|
|
|
||||||
|
LL | #[derive(Debug, Copy, Clone)]
|
||||||
|
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
|
||||||
|
|
|
||||||
|
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
|
||||||
|
--> $DIR/issue-38821.rs:9:18
|
||||||
|
|
|
||||||
|
LL | impl<T: NotNull> IntoNullable for T {
|
||||||
|
| ------- ^^^^^^^^^^^^ ^
|
||||||
|
| |
|
||||||
|
| unsatisfied trait bound introduced here
|
||||||
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
||||||
|
= note: this error originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
|
||||||
|
help: consider further restricting the associated type
|
||||||
|
|
|
||||||
|
LL | Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
|
||||||
|
| +++++++++++++++++++++++++++++++++++++++
|
||||||
|
|
||||||
|
error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
--> $DIR/issue-38821.rs:23:10
|
||||||
|
|
|
||||||
|
LL | #[derive(Debug, Copy, Clone)]
|
||||||
|
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
|
||||||
|
|
|
||||||
|
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
|
||||||
|
--> $DIR/issue-38821.rs:9:18
|
||||||
|
|
|
||||||
|
LL | impl<T: NotNull> IntoNullable for T {
|
||||||
|
| ------- ^^^^^^^^^^^^ ^
|
||||||
|
| |
|
||||||
|
| unsatisfied trait bound introduced here
|
||||||
|
= note: this error originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
|
||||||
|
|
||||||
|
error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
--> $DIR/issue-38821.rs:23:10
|
||||||
|
|
|
||||||
|
LL | #[derive(Debug, Copy, Clone)]
|
||||||
|
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
|
||||||
|
|
|
||||||
|
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
|
||||||
|
--> $DIR/issue-38821.rs:9:18
|
||||||
|
|
|
||||||
|
LL | impl<T: NotNull> IntoNullable for T {
|
||||||
|
| ------- ^^^^^^^^^^^^ ^
|
||||||
|
| |
|
||||||
|
| unsatisfied trait bound introduced here
|
||||||
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
||||||
|
= note: this error originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
|
||||||
|
|
||||||
|
error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
--> $DIR/issue-38821.rs:23:17
|
||||||
|
|
|
||||||
|
LL | #[derive(Debug, Copy, Clone)]
|
||||||
|
| ^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
|
||||||
|
|
|
||||||
|
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
|
||||||
|
--> $DIR/issue-38821.rs:9:18
|
||||||
|
|
|
||||||
|
LL | impl<T: NotNull> IntoNullable for T {
|
||||||
|
| ------- ^^^^^^^^^^^^ ^
|
||||||
|
| |
|
||||||
|
| unsatisfied trait bound introduced here
|
||||||
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
||||||
|
= note: this error originates in the derive macro `Copy` (in Nightly builds, run with -Z macro-backtrace for more info)
|
||||||
|
help: consider further restricting the associated type
|
||||||
|
|
|
||||||
|
LL | Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
|
||||||
|
| +++++++++++++++++++++++++++++++++++++++
|
||||||
|
|
||||||
|
error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
--> $DIR/issue-38821.rs:23:23
|
||||||
|
|
|
||||||
|
LL | #[derive(Debug, Copy, Clone)]
|
||||||
|
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
|
||||||
|
|
|
||||||
|
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
|
||||||
|
--> $DIR/issue-38821.rs:9:18
|
||||||
|
|
|
||||||
|
LL | impl<T: NotNull> IntoNullable for T {
|
||||||
|
| ------- ^^^^^^^^^^^^ ^
|
||||||
|
| |
|
||||||
|
| unsatisfied trait bound introduced here
|
||||||
|
= note: this error originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
|
||||||
|
help: consider further restricting the associated type
|
||||||
|
|
|
||||||
|
LL | Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
|
||||||
|
| +++++++++++++++++++++++++++++++++++++++
|
||||||
|
|
||||||
|
error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
--> $DIR/issue-38821.rs:23:23
|
||||||
|
|
|
||||||
|
LL | #[derive(Debug, Copy, Clone)]
|
||||||
|
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
|
||||||
|
|
|
||||||
|
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
|
||||||
|
--> $DIR/issue-38821.rs:9:18
|
||||||
|
|
|
||||||
|
LL | impl<T: NotNull> IntoNullable for T {
|
||||||
|
| ------- ^^^^^^^^^^^^ ^
|
||||||
|
| |
|
||||||
|
| unsatisfied trait bound introduced here
|
||||||
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
||||||
|
= note: this error originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
|
||||||
|
help: consider further restricting the associated type
|
||||||
|
|
|
||||||
|
LL | Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
|
||||||
|
| +++++++++++++++++++++++++++++++++++++++
|
||||||
|
|
||||||
|
error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
--> $DIR/issue-38821.rs:23:23
|
||||||
|
|
|
||||||
|
LL | #[derive(Debug, Copy, Clone)]
|
||||||
|
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
|
||||||
|
|
|
||||||
|
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
|
||||||
|
--> $DIR/issue-38821.rs:9:18
|
||||||
|
|
|
||||||
|
LL | impl<T: NotNull> IntoNullable for T {
|
||||||
|
| ------- ^^^^^^^^^^^^ ^
|
||||||
|
| |
|
||||||
|
| unsatisfied trait bound introduced here
|
||||||
|
= note: this error originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
|
||||||
|
|
||||||
|
error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
--> $DIR/issue-38821.rs:23:23
|
||||||
|
|
|
||||||
|
LL | #[derive(Debug, Copy, Clone)]
|
||||||
|
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
|
||||||
|
|
|
||||||
|
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
|
||||||
|
--> $DIR/issue-38821.rs:9:18
|
||||||
|
|
|
||||||
|
LL | impl<T: NotNull> IntoNullable for T {
|
||||||
|
| ------- ^^^^^^^^^^^^ ^
|
||||||
|
| |
|
||||||
|
| unsatisfied trait bound introduced here
|
||||||
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
||||||
|
= note: this error originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
|
||||||
|
|
||||||
|
error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
--> $DIR/issue-38821.rs:23:10
|
||||||
|
|
|
||||||
|
LL | #[derive(Debug, Copy, Clone)]
|
||||||
|
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
|
||||||
|
|
|
||||||
|
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
|
||||||
|
--> $DIR/issue-38821.rs:9:18
|
||||||
|
|
|
||||||
|
LL | impl<T: NotNull> IntoNullable for T {
|
||||||
|
| ------- ^^^^^^^^^^^^ ^
|
||||||
|
| |
|
||||||
|
| unsatisfied trait bound introduced here
|
||||||
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
||||||
|
= note: this error originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
|
||||||
|
|
||||||
|
error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
--> $DIR/issue-38821.rs:23:10
|
||||||
|
|
|
||||||
|
LL | #[derive(Debug, Copy, Clone)]
|
||||||
|
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
|
||||||
|
|
|
||||||
|
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
|
||||||
|
--> $DIR/issue-38821.rs:9:18
|
||||||
|
|
|
||||||
|
LL | impl<T: NotNull> IntoNullable for T {
|
||||||
|
| ------- ^^^^^^^^^^^^ ^
|
||||||
|
| |
|
||||||
|
| unsatisfied trait bound introduced here
|
||||||
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
||||||
|
= note: this error originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
|
||||||
|
|
||||||
|
error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
--> $DIR/issue-38821.rs:23:23
|
||||||
|
|
|
||||||
|
LL | #[derive(Debug, Copy, Clone)]
|
||||||
|
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
|
||||||
|
|
|
||||||
|
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
|
||||||
|
--> $DIR/issue-38821.rs:9:18
|
||||||
|
|
|
||||||
|
LL | impl<T: NotNull> IntoNullable for T {
|
||||||
|
| ------- ^^^^^^^^^^^^ ^
|
||||||
|
| |
|
||||||
|
| unsatisfied trait bound introduced here
|
||||||
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
||||||
|
= note: this error originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
|
||||||
|
|
||||||
|
error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
|
||||||
|
--> $DIR/issue-38821.rs:23:23
|
||||||
|
|
|
||||||
|
LL | #[derive(Debug, Copy, Clone)]
|
||||||
|
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
|
||||||
|
|
|
||||||
|
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
|
||||||
|
--> $DIR/issue-38821.rs:9:18
|
||||||
|
|
|
||||||
|
LL | impl<T: NotNull> IntoNullable for T {
|
||||||
|
| ------- ^^^^^^^^^^^^ ^
|
||||||
|
| |
|
||||||
|
| unsatisfied trait bound introduced here
|
||||||
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
||||||
|
= note: this error originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
|
||||||
|
|
||||||
|
error: aborting due to 16 previous errors
|
||||||
|
|
||||||
For more information about this error, try `rustc --explain E0277`.
|
For more information about this error, try `rustc --explain E0277`.
|
||||||
|
@ -3,7 +3,7 @@
|
|||||||
use std::any::Any;
|
use std::any::Any;
|
||||||
use std::ops::CoerceUnsized;
|
use std::ops::CoerceUnsized;
|
||||||
|
|
||||||
struct Foo<T> {
|
struct Foo<T: ?Sized> {
|
||||||
data: Box<T>,
|
data: Box<T>,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -2,6 +2,7 @@
|
|||||||
pub struct Foo {
|
pub struct Foo {
|
||||||
x: [u8; SIZE],
|
x: [u8; SIZE],
|
||||||
//~^ ERROR mismatched types
|
//~^ ERROR mismatched types
|
||||||
|
//~| ERROR mismatched types
|
||||||
}
|
}
|
||||||
|
|
||||||
const SIZE: u32 = 1;
|
const SIZE: u32 = 1;
|
||||||
|
@ -4,6 +4,14 @@ error[E0308]: mismatched types
|
|||||||
LL | x: [u8; SIZE],
|
LL | x: [u8; SIZE],
|
||||||
| ^^^^ expected `usize`, found `u32`
|
| ^^^^ expected `usize`, found `u32`
|
||||||
|
|
||||||
error: aborting due to 1 previous error
|
error[E0308]: mismatched types
|
||||||
|
--> $DIR/bad-generic-in-copy-impl.rs:3:13
|
||||||
|
|
|
||||||
|
LL | x: [u8; SIZE],
|
||||||
|
| ^^^^ expected `usize`, found `u32`
|
||||||
|
|
|
||||||
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
||||||
|
|
||||||
|
error: aborting due to 2 previous errors
|
||||||
|
|
||||||
For more information about this error, try `rustc --explain E0308`.
|
For more information about this error, try `rustc --explain E0308`.
|
||||||
|
@ -3,6 +3,7 @@ use std::collections::BTreeSet;
|
|||||||
#[derive(Hash)]
|
#[derive(Hash)]
|
||||||
pub enum ElemDerived {
|
pub enum ElemDerived {
|
||||||
//~^ ERROR recursive type `ElemDerived` has infinite size
|
//~^ ERROR recursive type `ElemDerived` has infinite size
|
||||||
|
//~| ERROR cycle detected
|
||||||
A(ElemDerived)
|
A(ElemDerived)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -3,7 +3,7 @@ error[E0072]: recursive type `ElemDerived` has infinite size
|
|||||||
|
|
|
|
||||||
LL | pub enum ElemDerived {
|
LL | pub enum ElemDerived {
|
||||||
| ^^^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^^^
|
||||||
LL |
|
...
|
||||||
LL | A(ElemDerived)
|
LL | A(ElemDerived)
|
||||||
| ----------- recursive without indirection
|
| ----------- recursive without indirection
|
||||||
|
|
|
|
||||||
@ -12,6 +12,21 @@ help: insert some indirection (e.g., a `Box`, `Rc`, or `&`) to break the cycle
|
|||||||
LL | A(Box<ElemDerived>)
|
LL | A(Box<ElemDerived>)
|
||||||
| ++++ +
|
| ++++ +
|
||||||
|
|
||||||
error: aborting due to 1 previous error
|
error[E0391]: cycle detected when computing drop-check constraints for `ElemDerived`
|
||||||
|
--> $DIR/issue-72554.rs:4:1
|
||||||
|
|
|
||||||
|
LL | pub enum ElemDerived {
|
||||||
|
| ^^^^^^^^^^^^^^^^^^^^
|
||||||
|
|
|
||||||
|
= note: ...which immediately requires computing drop-check constraints for `ElemDerived` again
|
||||||
|
note: cycle used when computing drop-check constraints for `Elem`
|
||||||
|
--> $DIR/issue-72554.rs:11:1
|
||||||
|
|
|
||||||
|
LL | pub enum Elem {
|
||||||
|
| ^^^^^^^^^^^^^
|
||||||
|
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
|
||||||
|
|
||||||
For more information about this error, try `rustc --explain E0072`.
|
error: aborting due to 2 previous errors
|
||||||
|
|
||||||
|
Some errors have detailed explanations: E0072, E0391.
|
||||||
|
For more information about an error, try `rustc --explain E0072`.
|
||||||
|
@ -7,16 +7,6 @@ LL | impl<T: Default> A for T {
|
|||||||
LL | impl<T: Default + ~const Sup> const A for T {
|
LL | impl<T: Default + ~const Sup> const A for T {
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation
|
||||||
|
|
||||||
error[E0308]: mismatched types
|
error: aborting due to 1 previous error
|
||||||
--> $DIR/specializing-constness-2.rs:27:5
|
|
||||||
|
|
|
||||||
LL | <T as A>::a();
|
|
||||||
| ^^^^^^^^^^^^^ expected `host`, found `true`
|
|
||||||
|
|
|
||||||
= note: expected constant `host`
|
|
||||||
found constant `true`
|
|
||||||
|
|
||||||
error: aborting due to 2 previous errors
|
For more information about this error, try `rustc --explain E0119`.
|
||||||
|
|
||||||
Some errors have detailed explanations: E0119, E0308.
|
|
||||||
For more information about an error, try `rustc --explain E0119`.
|
|
||||||
|
@ -6,7 +6,6 @@
|
|||||||
struct S<const L: usize>;
|
struct S<const L: usize>;
|
||||||
|
|
||||||
impl<const N: i32> Copy for S<N> {}
|
impl<const N: i32> Copy for S<N> {}
|
||||||
//~^ ERROR the constant `N` is not of type `usize`
|
|
||||||
impl<const M: usize> Copy for S<M> {}
|
impl<const M: usize> Copy for S<M> {}
|
||||||
//~^ ERROR: conflicting implementations of trait `Copy` for type `S<_>`
|
//~^ ERROR: conflicting implementations of trait `Copy` for type `S<_>`
|
||||||
|
|
||||||
|
@ -1,29 +1,11 @@
|
|||||||
error[E0119]: conflicting implementations of trait `Copy` for type `S<_>`
|
error[E0119]: conflicting implementations of trait `Copy` for type `S<_>`
|
||||||
--> $DIR/bad-const-wf-doesnt-specialize.rs:10:1
|
--> $DIR/bad-const-wf-doesnt-specialize.rs:9:1
|
||||||
|
|
|
|
||||||
LL | impl<const N: i32> Copy for S<N> {}
|
LL | impl<const N: i32> Copy for S<N> {}
|
||||||
| -------------------------------- first implementation here
|
| -------------------------------- first implementation here
|
||||||
LL |
|
|
||||||
LL | impl<const M: usize> Copy for S<M> {}
|
LL | impl<const M: usize> Copy for S<M> {}
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `S<_>`
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `S<_>`
|
||||||
|
|
||||||
error: the constant `N` is not of type `usize`
|
error: aborting due to 1 previous error
|
||||||
--> $DIR/bad-const-wf-doesnt-specialize.rs:8:29
|
|
||||||
|
|
|
||||||
LL | impl<const N: i32> Copy for S<N> {}
|
|
||||||
| ^^^^ expected `usize`, found `i32`
|
|
||||||
|
|
|
||||||
note: required for `S<N>` to implement `Clone`
|
|
||||||
--> $DIR/bad-const-wf-doesnt-specialize.rs:5:10
|
|
||||||
|
|
|
||||||
LL | #[derive(Clone)]
|
|
||||||
| ^^^^^
|
|
||||||
LL | struct S<const L: usize>;
|
|
||||||
| ----- unsatisfied trait bound introduced in this `derive` macro
|
|
||||||
note: required by a bound in `Copy`
|
|
||||||
--> $SRC_DIR/core/src/marker.rs:LL:COL
|
|
||||||
= note: this error originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
|
|
||||||
|
|
||||||
error: aborting due to 2 previous errors
|
|
||||||
|
|
||||||
For more information about this error, try `rustc --explain E0119`.
|
For more information about this error, try `rustc --explain E0119`.
|
||||||
|
@ -198,7 +198,6 @@ trait Qux {
|
|||||||
//~^ ERROR the placeholder `_` is not allowed within types on item signatures for associated types
|
//~^ ERROR the placeholder `_` is not allowed within types on item signatures for associated types
|
||||||
}
|
}
|
||||||
impl Qux for Struct {
|
impl Qux for Struct {
|
||||||
//~^ ERROR: not all trait items implemented, missing: `F`
|
|
||||||
type A = _;
|
type A = _;
|
||||||
//~^ ERROR the placeholder `_` is not allowed within types on item signatures for associated types
|
//~^ ERROR the placeholder `_` is not allowed within types on item signatures for associated types
|
||||||
type B = _;
|
type B = _;
|
||||||
|
@ -29,7 +29,7 @@ LL | struct BadStruct2<_, T>(_, T);
|
|||||||
| ^ expected identifier, found reserved identifier
|
| ^ expected identifier, found reserved identifier
|
||||||
|
|
||||||
error: associated constant in `impl` without body
|
error: associated constant in `impl` without body
|
||||||
--> $DIR/typeck_type_placeholder_item.rs:206:5
|
--> $DIR/typeck_type_placeholder_item.rs:205:5
|
||||||
|
|
|
|
||||||
LL | const C: _;
|
LL | const C: _;
|
||||||
| ^^^^^^^^^^-
|
| ^^^^^^^^^^-
|
||||||
@ -411,7 +411,7 @@ LL | type Y = impl Trait<_>;
|
|||||||
| ^ not allowed in type signatures
|
| ^ not allowed in type signatures
|
||||||
|
|
||||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
||||||
--> $DIR/typeck_type_placeholder_item.rs:217:31
|
--> $DIR/typeck_type_placeholder_item.rs:216:31
|
||||||
|
|
|
|
||||||
LL | fn value() -> Option<&'static _> {
|
LL | fn value() -> Option<&'static _> {
|
||||||
| ----------------^-
|
| ----------------^-
|
||||||
@ -420,7 +420,7 @@ LL | fn value() -> Option<&'static _> {
|
|||||||
| help: replace with the correct return type: `Option<&'static u8>`
|
| help: replace with the correct return type: `Option<&'static u8>`
|
||||||
|
|
||||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
|
||||||
--> $DIR/typeck_type_placeholder_item.rs:222:10
|
--> $DIR/typeck_type_placeholder_item.rs:221:10
|
||||||
|
|
|
|
||||||
LL | const _: Option<_> = map(value);
|
LL | const _: Option<_> = map(value);
|
||||||
| ^^^^^^^^^
|
| ^^^^^^^^^
|
||||||
@ -429,7 +429,7 @@ LL | const _: Option<_> = map(value);
|
|||||||
| help: replace with the correct type: `Option<u8>`
|
| help: replace with the correct type: `Option<u8>`
|
||||||
|
|
||||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
||||||
--> $DIR/typeck_type_placeholder_item.rs:225:31
|
--> $DIR/typeck_type_placeholder_item.rs:224:31
|
||||||
|
|
|
|
||||||
LL | fn evens_squared(n: usize) -> _ {
|
LL | fn evens_squared(n: usize) -> _ {
|
||||||
| ^
|
| ^
|
||||||
@ -438,13 +438,13 @@ LL | fn evens_squared(n: usize) -> _ {
|
|||||||
| help: replace with an appropriate return type: `impl Iterator<Item = usize>`
|
| help: replace with an appropriate return type: `impl Iterator<Item = usize>`
|
||||||
|
|
||||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
|
||||||
--> $DIR/typeck_type_placeholder_item.rs:230:10
|
--> $DIR/typeck_type_placeholder_item.rs:229:10
|
||||||
|
|
|
|
||||||
LL | const _: _ = (1..10).filter(|x| x % 2 == 0).map(|x| x * x);
|
LL | const _: _ = (1..10).filter(|x| x % 2 == 0).map(|x| x * x);
|
||||||
| ^ not allowed in type signatures
|
| ^ not allowed in type signatures
|
||||||
|
|
|
|
||||||
note: however, the inferred type `Map<Filter<Range<i32>, {closure@typeck_type_placeholder_item.rs:230:29}>, {closure@typeck_type_placeholder_item.rs:230:49}>` cannot be named
|
note: however, the inferred type `Map<Filter<Range<i32>, {closure@typeck_type_placeholder_item.rs:229:29}>, {closure@typeck_type_placeholder_item.rs:229:49}>` cannot be named
|
||||||
--> $DIR/typeck_type_placeholder_item.rs:230:14
|
--> $DIR/typeck_type_placeholder_item.rs:229:14
|
||||||
|
|
|
|
||||||
LL | const _: _ = (1..10).filter(|x| x % 2 == 0).map(|x| x * x);
|
LL | const _: _ = (1..10).filter(|x| x % 2 == 0).map(|x| x * x);
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||||
@ -631,25 +631,25 @@ LL | fn clone_from(&mut self, other: &FnTest9) { *self = FnTest9; }
|
|||||||
| ~~~~~~~~
|
| ~~~~~~~~
|
||||||
|
|
||||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated types
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated types
|
||||||
--> $DIR/typeck_type_placeholder_item.rs:202:14
|
--> $DIR/typeck_type_placeholder_item.rs:201:14
|
||||||
|
|
|
|
||||||
LL | type A = _;
|
LL | type A = _;
|
||||||
| ^ not allowed in type signatures
|
| ^ not allowed in type signatures
|
||||||
|
|
||||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated types
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated types
|
||||||
--> $DIR/typeck_type_placeholder_item.rs:204:14
|
--> $DIR/typeck_type_placeholder_item.rs:203:14
|
||||||
|
|
|
|
||||||
LL | type B = _;
|
LL | type B = _;
|
||||||
| ^ not allowed in type signatures
|
| ^ not allowed in type signatures
|
||||||
|
|
||||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated constants
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated constants
|
||||||
--> $DIR/typeck_type_placeholder_item.rs:206:14
|
--> $DIR/typeck_type_placeholder_item.rs:205:14
|
||||||
|
|
|
|
||||||
LL | const C: _;
|
LL | const C: _;
|
||||||
| ^ not allowed in type signatures
|
| ^ not allowed in type signatures
|
||||||
|
|
||||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated constants
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated constants
|
||||||
--> $DIR/typeck_type_placeholder_item.rs:209:14
|
--> $DIR/typeck_type_placeholder_item.rs:208:14
|
||||||
|
|
|
|
||||||
LL | const D: _ = 42;
|
LL | const D: _ = 42;
|
||||||
| ^
|
| ^
|
||||||
@ -657,16 +657,7 @@ LL | const D: _ = 42;
|
|||||||
| not allowed in type signatures
|
| not allowed in type signatures
|
||||||
| help: replace with the correct type: `i32`
|
| help: replace with the correct type: `i32`
|
||||||
|
|
||||||
error[E0046]: not all trait items implemented, missing: `F`
|
error: aborting due to 71 previous errors
|
||||||
--> $DIR/typeck_type_placeholder_item.rs:200:1
|
|
||||||
|
|
|
||||||
LL | type F: std::ops::Fn(_);
|
|
||||||
| ----------------------- `F` from trait
|
|
||||||
...
|
|
||||||
LL | impl Qux for Struct {
|
|
||||||
| ^^^^^^^^^^^^^^^^^^^ missing `F` in implementation
|
|
||||||
|
|
||||||
error: aborting due to 72 previous errors
|
Some errors have detailed explanations: E0121, E0282, E0403.
|
||||||
|
For more information about an error, try `rustc --explain E0121`.
|
||||||
Some errors have detailed explanations: E0046, E0121, E0282, E0403.
|
|
||||||
For more information about an error, try `rustc --explain E0046`.
|
|
||||||
|
Loading…
Reference in New Issue
Block a user