Thanks to visit codestin.com
Credit goes to github.com

Skip to content
Merged
Show file tree
Hide file tree
Changes from 3 commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
6dea155
No need to validate_alias_bound_self_from_param_env in assemble_alias…
compiler-errors Feb 3, 2024
31478cd
Add more tests
oli-obk Feb 20, 2024
66bd645
test that we do not support higher-ranked regions in opaque type infe…
aliemjay Aug 15, 2022
00234f0
Fix typo in serialized.rs
eltociear Feb 21, 2024
5c9d580
Tiny simplification
Nadrieril Feb 19, 2024
a181bdc
Introduce `TestCase` enum to replace most matching on `PatKind`
Nadrieril Feb 10, 2024
b1a0607
Process bindings and ascriptions in `MatchPair::new()`
Nadrieril Feb 20, 2024
0610f59
Inline `simplify_match_pair`
Nadrieril Feb 20, 2024
326b44e
Fix panic when compiling `Rocket`.
nnethercote Feb 22, 2024
02423a5
Make some `IntoDiagnostic` impls generic.
nnethercote Feb 22, 2024
c276af2
Fix typo in metadata.rs doc comment
jrudolph Feb 22, 2024
7921ce3
`DefId` to `LocalDefId`
lcnr Feb 22, 2024
9e016a8
Avoid emitting type mismatches against `{type error}`
oli-obk Feb 22, 2024
a2a6e47
Add new maintainers to nto-qnx.md
jonathanpallant Feb 22, 2024
e3021eb
Preserve the `Span` from `prove_predicate` all the way to registering…
oli-obk Feb 22, 2024
e4622e0
`report_mismatch` did not actually report anymore
oli-obk Feb 22, 2024
1efb747
Remove some annotations that just specify the default
oli-obk Feb 22, 2024
702225e
Rollup merge of #120598 - compiler-errors:no-rigid-check, r=lcnr
matthiaskrgr Feb 22, 2024
379ef9b
Rollup merge of #121386 - oli-obk:no_higher_ranked_opaques, r=lcnr
matthiaskrgr Feb 22, 2024
5a87e13
Rollup merge of #121393 - Nadrieril:match-lowering-testcase, r=matthe…
matthiaskrgr Feb 22, 2024
47bf8a6
Rollup merge of #121401 - eltociear:patch-25, r=nnethercote
matthiaskrgr Feb 22, 2024
01ec4eb
Rollup merge of #121427 - nnethercote:fix-Rocket, r=oli-obk
matthiaskrgr Feb 22, 2024
e064bf6
Rollup merge of #121439 - jrudolph:patch-1, r=bjorn3
matthiaskrgr Feb 22, 2024
5401098
Rollup merge of #121441 - lcnr:typesystem-cleanup, r=compiler-errors
matthiaskrgr Feb 22, 2024
4537e6d
Rollup merge of #121452 - jonathanpallant:patch-1, r=Amanieu
matthiaskrgr Feb 22, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion compiler/rustc_expand/src/proc_macro_server.rs
Original file line number Diff line number Diff line change
Expand Up @@ -510,7 +510,7 @@ impl server::FreeFunctions for Rustc<'_, '_> {

fn emit_diagnostic(&mut self, diagnostic: Diagnostic<Self::Span>) {
let message = rustc_errors::DiagnosticMessage::from(diagnostic.message);
let mut diag: DiagnosticBuilder<'_, rustc_errors::ErrorGuaranteed> =
let mut diag: DiagnosticBuilder<'_, ()> =
DiagnosticBuilder::new(&self.sess().dcx, diagnostic.level.to_internal(), message);
diag.span(MultiSpan::from_spans(diagnostic.spans));
for child in diagnostic.children {
Expand Down
6 changes: 4 additions & 2 deletions compiler/rustc_mir_build/src/errors.rs
Original file line number Diff line number Diff line change
Expand Up @@ -461,8 +461,10 @@ pub(crate) struct NonExhaustivePatternsTypeNotEmpty<'p, 'tcx, 'm> {
pub ty: Ty<'tcx>,
}

impl<'a> IntoDiagnostic<'a> for NonExhaustivePatternsTypeNotEmpty<'_, '_, '_> {
fn into_diagnostic(self, dcx: &'a DiagCtxt, level: Level) -> DiagnosticBuilder<'_> {
impl<'a, G: EmissionGuarantee> IntoDiagnostic<'a, G>
for NonExhaustivePatternsTypeNotEmpty<'_, '_, '_>
{
fn into_diagnostic(self, dcx: &'a DiagCtxt, level: Level) -> DiagnosticBuilder<'_, G> {
let mut diag = DiagnosticBuilder::new(
dcx,
level,
Expand Down
8 changes: 4 additions & 4 deletions compiler/rustc_parse/src/errors.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1073,9 +1073,9 @@ pub(crate) struct ExpectedIdentifier {
pub help_cannot_start_number: Option<HelpIdentifierStartsWithNumber>,
}

impl<'a> IntoDiagnostic<'a> for ExpectedIdentifier {
impl<'a, G: EmissionGuarantee> IntoDiagnostic<'a, G> for ExpectedIdentifier {
#[track_caller]
fn into_diagnostic(self, dcx: &'a DiagCtxt, level: Level) -> DiagnosticBuilder<'a> {
fn into_diagnostic(self, dcx: &'a DiagCtxt, level: Level) -> DiagnosticBuilder<'a, G> {
let token_descr = TokenDescription::from_token(&self.token);

let mut diag = DiagnosticBuilder::new(
Expand Down Expand Up @@ -1133,9 +1133,9 @@ pub(crate) struct ExpectedSemi {
pub sugg: ExpectedSemiSugg,
}

impl<'a> IntoDiagnostic<'a> for ExpectedSemi {
impl<'a, G: EmissionGuarantee> IntoDiagnostic<'a, G> for ExpectedSemi {
#[track_caller]
fn into_diagnostic(self, dcx: &'a DiagCtxt, level: Level) -> DiagnosticBuilder<'a> {
fn into_diagnostic(self, dcx: &'a DiagCtxt, level: Level) -> DiagnosticBuilder<'a, G> {
let token_descr = TokenDescription::from_token(&self.token);

let mut diag = DiagnosticBuilder::new(
Expand Down
8 changes: 4 additions & 4 deletions compiler/rustc_session/src/errors.rs
Original file line number Diff line number Diff line change
Expand Up @@ -3,8 +3,8 @@ use std::num::NonZero;
use rustc_ast::token;
use rustc_ast::util::literal::LitError;
use rustc_errors::{
codes::*, DiagCtxt, DiagnosticBuilder, DiagnosticMessage, ErrorGuaranteed, IntoDiagnostic,
Level, MultiSpan,
codes::*, DiagCtxt, DiagnosticBuilder, DiagnosticMessage, EmissionGuarantee, ErrorGuaranteed,
IntoDiagnostic, Level, MultiSpan,
};
use rustc_macros::Diagnostic;
use rustc_span::{Span, Symbol};
Expand All @@ -17,9 +17,9 @@ pub struct FeatureGateError {
pub explain: DiagnosticMessage,
}

impl<'a> IntoDiagnostic<'a> for FeatureGateError {
impl<'a, G: EmissionGuarantee> IntoDiagnostic<'a, G> for FeatureGateError {
#[track_caller]
fn into_diagnostic(self, dcx: &'a DiagCtxt, level: Level) -> DiagnosticBuilder<'a> {
fn into_diagnostic(self, dcx: &'a DiagCtxt, level: Level) -> DiagnosticBuilder<'a, G> {
DiagnosticBuilder::new(dcx, level, self.explain).with_span(self.span).with_code(E0658)
}
}
Expand Down