Skip to content

Instantly share code, notes, and snippets.

View compiler-errors's full-sized avatar
🦀
considering crab

Michael Goulet compiler-errors

🦀
considering crab
View GitHub Profile
accessibility-tree-0.0.14
a4-0.0.4
aj-0.5.1
accesskit_unix-0.12.0
au-0.10.0
aw-0.1.0
ay-0.1.0
amethyst-rhusics-0.3.0
ax-2.18.1
asset-container-0.4.0
Canonical {
value: QueryInput {
goal: Goal {
param_env: ParamEnv {
caller_bounds: [],
reveal: UserFacing,
},
predicate: Binder { value: NormalizesTo(AliasTerm { args: [], def_id: DefId(0:6 ~ test[b77b]::hello::{opaque#0}) }, Term::Ty(^1_0)), bound_vars: [] },
},
predefined_opaques_in_body: PredefinedOpaques(
error: internal compiler error: compiler/rustc_borrowck/src/universal_regions.rs:880:36: cannot convert `DefId(0:11 ~ test[b77b]::{impl#0}::y::{opaque#0}::'_)_'_/#3` to a region vid from mapping {
'static: '?0,
DefId(0:6 ~ test[b77b]::{impl#0}::y::'a)_'a/#1: '?1,
DefId(0:13 ~ test[b77b]::{impl#0}::y::{opaque#0}::{opaque#0}::'_)_'_/#3: '?2,
}
thread 'rustc' panicked at compiler/rustc_borrowck/src/universal_regions.rs:880:36:
Box<dyn Any>
stack backtrace:
0: std::panicking::begin_panic::<rustc_errors::ExplicitBug>
4lineclear/easy_qr
4lineclear/js-assorted
4lineclear/ultitato
Aaron1011/arrayinto
Alekssasho/Diabetor
Atte/discord-bot
Beliaar/HexTerrain
DavidMikeSimon/lotsa_rust
DeanBDean/rust_ray_tracer_in_one_weekend
DeanBDean/rust_ray_tracer_in_one_weekend_website
error: internal compiler error: compiler/rustc_middle/src/traits/solve/cache.rs:53:17: unable to retrieve inserted element from cache: Canonical { value: QueryInput { goal: Goal { predicate: Binder { value: TraitPredicate(<ptr::P<ast::Ty> as rustc_data_structures::marker::DynSend>, polarity:Positive), bound_vars: [] }, param_env: ParamEnv { caller_bounds: [], reveal: UserFacing } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, opaque_type_mode: Define([]), variables: [] }
thread 'rustc' panicked at compiler/rustc_middle/src/traits/solve/cache.rs:53:17:
Box<dyn Any>
stack backtrace:
0: std::panicking::begin_panic::<rustc_errors::ExplicitBug>
at ./library/std/src/panicking.rs:693:12
1: std::panic::panic_any::<rustc_errors::ExplicitBug>
at ./library/std/src/panic.rs:63:5
2: <rustc_errors::diagnostic::BugAbort as rustc_errors::diagnostic::EmissionGuarantee>::emit_producing_guarantee
ROOT GOAL: Goal { predicate: Binder { value: TraitPredicate(<Self as Trait>, polarity:Positive), bound_vars: [] }, param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<Self as Trait>, polarity:Positive), bound_vars: [] }], reveal: UserFacing } } {
GOAL: Canonical { value: QueryInput { goal: Goal { predicate: Binder { value: TraitPredicate(<^1_0 as Trait>, polarity:Positive), bound_vars: [] }, param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as Trait>, polarity:Positive), bound_vars: [] }], reveal: UserFacing } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }], defining_opaque_types: [] }
REVISION 0 {
INSTANTIATED: QueryInput { goal: Goal { predicate: Binder { value: TraitPredicate(<!0 as Trait>, polarity:Positive), bound_vars: [] }, param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<!0 as Trait>, polarity:Positiv
warning: the feature `dyn_star` is incomplete and may not be safe to use and/or cause compiler crashes
--> /home/gh-compiler-errors/test.rs:8:12
|
8 | #![feature(dyn_star, pointer_like_trait)]
| ^^^^^^^^
|
= note: see issue #102425 <https://github.com/rust-lang/rust/issues/102425> for more information
= note: `#[warn(incomplete_features)]` on by default
error[E0391]: cycle detected when computing type of `make_dyn_star::{opaque#0}`
diff --git a/compiler/rustc_infer/src/infer/opaque_types.rs b/compiler/rustc_infer/src/infer/opaque_types.rs
index e579afbf389..8c435950977 100644
--- a/compiler/rustc_infer/src/infer/opaque_types.rs
+++ b/compiler/rustc_infer/src/infer/opaque_types.rs
@@ -49,7 +49,7 @@ pub fn replace_opaque_types_with_inference_vars<T: TypeFoldable<'tcx>>(
span: Span,
param_env: ty::ParamEnv<'tcx>,
) -> InferOk<'tcx, T> {
- if !value.has_opaque_types() {
+ if !(value.has_opaque_types() || value.has_ty_alias()) {
Building rustbuild
Building stage0 std artifacts (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu)
Copying stage0 std from stage0 (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu / x86_64-unknown-linux-gnu)
Building stage0 compiler artifacts (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu)
Copying stage0 rustc from stage0 (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu / x86_64-unknown-linux-gnu)
Assembling stage1 compiler (x86_64-unknown-linux-gnu)
Building stage1 std artifacts (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu)
Copying stage1 std from stage1 (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu / x86_64-unknown-linux-gnu)
Building stage0 tool compiletest (x86_64-unknown-linux-gnu)
Check compiletest suite=ui mode=ui (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu)
diff --git a/compiler/rustc_typeck/src/astconv/mod.rs b/compiler/rustc_typeck/src/astconv/mod.rs
index ab79dcd4161..20b178ca6ad 100644
--- a/compiler/rustc_typeck/src/astconv/mod.rs
+++ b/compiler/rustc_typeck/src/astconv/mod.rs
@@ -2364,13 +2364,12 @@ pub fn res_to_ty(
let substs = self.ast_path_substs_for_ty(span, did, item_segment.0);
self.normalize_ty(span, tcx.mk_opaque(did, substs))
}
- Res::Def(DefKind::TyAlias, did) => {
- let item_segment = path.segments.split_last().unwrap();