Skip to content

Commit ef5acde

Browse files
bovinebuddhanikomatsakis
bovinebuddha
authored and
nikomatsakis
committed
RFC 2027: "first draft" of implementation
These are a squashed series of commits.
1 parent d28a9c3 commit ef5acde

File tree

59 files changed

+847
-105
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

59 files changed

+847
-105
lines changed

‎src/librustc/infer/error_reporting/mod.rs

Lines changed: 20 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1146,10 +1146,17 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
11461146

11471147
let span = cause.span(self.tcx);
11481148

1149-
diag.span_label(span, terr.to_string());
1150-
if let Some((sp, msg)) = secondary_span {
1151-
diag.span_label(sp, msg);
1152-
}
1149+
// Ignore msg for object safe coercion
1150+
// since E0038 message will be printed
1151+
match terr {
1152+
TypeError::ObjectUnsafeCoercion(_) => {}
1153+
_ => {
1154+
diag.span_label(span, terr.to_string());
1155+
if let Some((sp, msg)) = secondary_span {
1156+
diag.span_label(sp, msg);
1157+
}
1158+
}
1159+
};
11531160

11541161
if let Some((expected, found)) = expected_found {
11551162
match (terr, is_simple_error, expected == found) {
@@ -1169,6 +1176,9 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
11691176
&sort_string(values.found),
11701177
);
11711178
}
1179+
(TypeError::ObjectUnsafeCoercion(_), ..) => {
1180+
diag.note_unsuccessfull_coercion(found, expected);
1181+
}
11721182
(_, false, _) => {
11731183
if let Some(exp_found) = exp_found {
11741184
self.suggest_as_ref_where_appropriate(span, &exp_found, diag);
@@ -1267,6 +1277,10 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
12671277
let span = trace.cause.span(self.tcx);
12681278
let failure_code = trace.cause.as_failure_code(terr);
12691279
let mut diag = match failure_code {
1280+
FailureCode::Error0038(did) => {
1281+
let violations = self.tcx.object_safety_violations(did);
1282+
self.tcx.report_object_safety_error(span, did, violations)
1283+
}
12701284
FailureCode::Error0317(failure_str) => {
12711285
struct_span_err!(self.tcx.sess, span, E0317, "{}", failure_str)
12721286
}
@@ -1628,6 +1642,7 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
16281642
}
16291643

16301644
enum FailureCode {
1645+
Error0038(DefId),
16311646
Error0317(&'static str),
16321647
Error0580(&'static str),
16331648
Error0308(&'static str),
@@ -1666,6 +1681,7 @@ impl<'tcx> ObligationCause<'tcx> {
16661681
TypeError::IntrinsicCast => {
16671682
Error0308("cannot coerce intrinsics to function pointers")
16681683
}
1684+
TypeError::ObjectUnsafeCoercion(did) => Error0038(did.clone()),
16691685
_ => Error0308("mismatched types"),
16701686
},
16711687
}

‎src/librustc/traits/error_reporting.rs

Lines changed: 15 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -790,15 +790,11 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
790790

791791
ty::Predicate::ObjectSafe(trait_def_id) => {
792792
let violations = self.tcx.object_safety_violations(trait_def_id);
793-
if let Some(err) = self.tcx.report_object_safety_error(
793+
self.tcx.report_object_safety_error(
794794
span,
795795
trait_def_id,
796796
violations,
797-
) {
798-
err
799-
} else {
800-
return;
801-
}
797+
)
802798
}
803799

804800
ty::Predicate::ClosureKind(closure_def_id, closure_substs, kind) => {
@@ -934,11 +930,7 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
934930

935931
TraitNotObjectSafe(did) => {
936932
let violations = self.tcx.object_safety_violations(did);
937-
if let Some(err) = self.tcx.report_object_safety_error(span, did, violations) {
938-
err
939-
} else {
940-
return;
941-
}
933+
self.tcx.report_object_safety_error(span, did, violations)
942934
}
943935

944936
// already reported in the query
@@ -1493,11 +1485,7 @@ impl<'tcx> TyCtxt<'tcx> {
14931485
span: Span,
14941486
trait_def_id: DefId,
14951487
violations: Vec<ObjectSafetyViolation>,
1496-
) -> Option<DiagnosticBuilder<'tcx>> {
1497-
if self.sess.trait_methods_not_found.borrow().contains(&span) {
1498-
// Avoid emitting error caused by non-existing method (#58734)
1499-
return None;
1500-
}
1488+
) -> DiagnosticBuilder<'tcx> {
15011489
let trait_str = self.def_path_str(trait_def_id);
15021490
let span = self.sess.source_map().def_span(span);
15031491
let mut err = struct_span_err!(
@@ -1515,7 +1503,13 @@ impl<'tcx> TyCtxt<'tcx> {
15151503
};
15161504
}
15171505
}
1518-
Some(err)
1506+
1507+
if self.sess.trait_methods_not_found.borrow().contains(&span) {
1508+
// Avoid emitting error caused by non-existing method (#58734)
1509+
err.cancel();
1510+
}
1511+
1512+
err
15191513
}
15201514
}
15211515

@@ -1926,6 +1920,10 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
19261920
err.note(&format!("required for the cast to the object type `{}`",
19271921
self.ty_to_string(object_ty)));
19281922
}
1923+
ObligationCauseCode::Coercion { source: _, target } => {
1924+
err.note(&format!("required by cast to type `{}`",
1925+
self.ty_to_string(target)));
1926+
}
19291927
ObligationCauseCode::RepeatVec => {
19301928
err.note("the `Copy` trait is required because the \
19311929
repeated element will be copied");

‎src/librustc/traits/mod.rs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -188,6 +188,9 @@ pub enum ObligationCauseCode<'tcx> {
188188
/// Obligation incurred due to an object cast.
189189
ObjectCastObligation(/* Object type */ Ty<'tcx>),
190190

191+
/// Obligation incurred due to a coercion.
192+
Coercion { source: Ty<'tcx>, target: Ty<'tcx> },
193+
191194
// Various cases where expressions must be sized/copy/etc:
192195
/// L = X implies that L is Sized
193196
AssignmentLhsSized,

‎src/librustc/traits/select.rs

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2246,7 +2246,13 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
22462246
}
22472247

22482248
if let Some(principal) = data.principal() {
2249-
principal.with_self_ty(self.tcx(), self_ty)
2249+
if !self.infcx.tcx.features().object_safe_for_dispatch {
2250+
principal.with_self_ty(self.tcx(), self_ty)
2251+
} else if self.tcx().is_object_safe(principal.def_id()) {
2252+
principal.with_self_ty(self.tcx(), self_ty)
2253+
} else {
2254+
return;
2255+
}
22502256
} else {
22512257
// Only auto-trait bounds exist.
22522258
return;

‎src/librustc/traits/structural_impls.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -481,6 +481,10 @@ impl<'a, 'tcx> Lift<'tcx> for traits::ObligationCauseCode<'a> {
481481
.and_then(|r| Some(super::ObjectTypeBound(ty, r)))
482482
),
483483
super::ObjectCastObligation(ty) => tcx.lift(&ty).map(super::ObjectCastObligation),
484+
super::Coercion { source, target } => Some(super::Coercion {
485+
source: tcx.lift(&source)?,
486+
target: tcx.lift(&target)?,
487+
}),
484488
super::AssignmentLhsSized => Some(super::AssignmentLhsSized),
485489
super::TupleInitializerSized => Some(super::TupleInitializerSized),
486490
super::StructInitializerSized => Some(super::StructInitializerSized),

‎src/librustc/ty/error.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,7 +45,7 @@ pub enum TypeError<'tcx> {
4545
ProjectionMismatched(ExpectedFound<DefId>),
4646
ProjectionBoundsLength(ExpectedFound<usize>),
4747
ExistentialMismatch(ExpectedFound<&'tcx ty::List<ty::ExistentialPredicate<'tcx>>>),
48-
48+
ObjectUnsafeCoercion(DefId),
4949
ConstMismatch(ExpectedFound<&'tcx ty::Const<'tcx>>),
5050

5151
IntrinsicCast,
@@ -179,6 +179,7 @@ impl<'tcx> fmt::Display for TypeError<'tcx> {
179179
IntrinsicCast => {
180180
write!(f, "cannot coerce intrinsics to function pointers")
181181
}
182+
ObjectUnsafeCoercion(_) => write!(f, "coercion to object-unsafe trait object"),
182183
}
183184
}
184185
}

‎src/librustc/ty/structural_impls.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -749,6 +749,7 @@ impl<'a, 'tcx> Lift<'tcx> for ty::error::TypeError<'a> {
749749
ExistentialMismatch(ref x) => return tcx.lift(x).map(ExistentialMismatch),
750750
ConstMismatch(ref x) => return tcx.lift(x).map(ConstMismatch),
751751
IntrinsicCast => IntrinsicCast,
752+
ObjectUnsafeCoercion(ref x) => return tcx.lift(x).map(ObjectUnsafeCoercion),
752753
})
753754
}
754755
}
@@ -1356,6 +1357,7 @@ EnumTypeFoldableImpl! {
13561357
(ty::error::TypeError::ExistentialMismatch)(x),
13571358
(ty::error::TypeError::ConstMismatch)(x),
13581359
(ty::error::TypeError::IntrinsicCast),
1360+
(ty::error::TypeError::ObjectUnsafeCoercion)(x),
13591361
}
13601362
}
13611363

‎src/librustc/ty/wf.rs

Lines changed: 15 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -380,16 +380,21 @@ impl<'a, 'tcx> WfPredicates<'a, 'tcx> {
380380
// obligations that don't refer to Self and
381381
// checking those
382382

383-
let cause = self.cause(traits::MiscObligation);
384-
let component_traits =
385-
data.auto_traits().chain(data.principal_def_id());
386-
self.out.extend(
387-
component_traits.map(|did| traits::Obligation::new(
388-
cause.clone(),
389-
param_env,
390-
ty::Predicate::ObjectSafe(did)
391-
))
392-
);
383+
let defer_to_coercion =
384+
self.infcx.tcx.features().object_safe_for_dispatch;
385+
386+
if !defer_to_coercion {
387+
let cause = self.cause(traits::MiscObligation);
388+
let component_traits =
389+
data.auto_traits().chain(data.principal_def_id());
390+
self.out.extend(
391+
component_traits.map(|did| traits::Obligation::new(
392+
cause.clone(),
393+
param_env,
394+
ty::Predicate::ObjectSafe(did)
395+
))
396+
);
397+
}
393398
}
394399

395400
// Inference variables are the complicated case, since we don't

‎src/librustc_errors/diagnostic.rs

Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -152,6 +152,32 @@ impl Diagnostic {
152152
self.note_expected_found_extra(label, expected, found, &"", &"")
153153
}
154154

155+
pub fn note_unsuccessfull_coercion(&mut self,
156+
expected: DiagnosticStyledString,
157+
found: DiagnosticStyledString)
158+
-> &mut Self
159+
{
160+
let mut msg: Vec<_> =
161+
vec![(format!("required when trying to coerce from type `"),
162+
Style::NoStyle)];
163+
msg.extend(expected.0.iter()
164+
.map(|x| match *x {
165+
StringPart::Normal(ref s) => (s.to_owned(), Style::NoStyle),
166+
StringPart::Highlighted(ref s) => (s.to_owned(), Style::Highlight),
167+
}));
168+
msg.push((format!("` to type '"), Style::NoStyle));
169+
msg.extend(found.0.iter()
170+
.map(|x| match *x {
171+
StringPart::Normal(ref s) => (s.to_owned(), Style::NoStyle),
172+
StringPart::Highlighted(ref s) => (s.to_owned(), Style::Highlight),
173+
}));
174+
msg.push((format!("`"), Style::NoStyle));
175+
176+
// For now, just attach these as notes
177+
self.highlighted_note(msg);
178+
self
179+
}
180+
155181
pub fn note_expected_found_extra(&mut self,
156182
label: &dyn fmt::Display,
157183
expected: DiagnosticStyledString,

‎src/librustc_errors/diagnostic_builder.rs

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -209,6 +209,11 @@ impl<'a> DiagnosticBuilder<'a> {
209209
found_extra: &dyn fmt::Display,
210210
) -> &mut Self);
211211

212+
forward!(pub fn note_unsuccessfull_coercion(&mut self,
213+
expected: DiagnosticStyledString,
214+
found: DiagnosticStyledString,
215+
) -> &mut Self);
216+
212217
forward!(pub fn note(&mut self, msg: &str) -> &mut Self);
213218
forward!(pub fn span_note<S: Into<MultiSpan>>(&mut self,
214219
sp: S,

0 commit comments

Comments
 (0)