Skip to content

Conversation

@HKalbasi
Copy link
Member

@HKalbasi HKalbasi commented Sep 6, 2023

No description provided.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 6, 2023
@HKalbasi
Copy link
Member Author

HKalbasi commented Sep 6, 2023

This fixes the metrics showing 2488 failed mir bodies. There are now 13 failed bodies on self, all of them looks like non mir r-a bug to me:

Mir body for ted::last_child_of failed due UnresolvedMethod("last_child_or_token")
Mir body for ast::token_ext::tests::check_byte_string_value failed due UnresolvedMethod("map")
Mir body for global_state::new failed due NotSupported("Unknown cast between AdtId(StructId(StructId(358)))<[?0 := AdtId(StructId(StructId(5838)))<[]>, ?1 := AdtId(StructId(StructId(430)))<[]>]> and AdtId(StructId(StructId(358)))<[?0 := dyn for<type> [for<> Implemented(^1.0: TraitId(453))] + 'static, ?1 := AdtId(StructId(StructId(430)))<[]>]>")
Mir body for analyze_source_file_dispatch failed due UnresolvedName("std_detect::detect::__is_feature_detected::sse2")
Mir body for handlers::add_missing_match_arms::add_missing_match_arms failed due NotSupported("Unknown cast between AdtId(StructId(StructId(358)))<[?0 := AdtId(StructId(StructId(175)))<[?0 := AdtId(StructId(StructId(181)))<[?0 := AdtId(StructId(StructId(179)))<[?0 := AdtId(StructId(StructId(1359)))<[?0 := AdtId(StructId(StructId(425)))<[?0 := AdtId(EnumId(EnumId(923)))<[]>, ?1 := AdtId(StructId(StructId(430)))<[]>]>]>, ?1 := {closure:ClosureId(3959)}<[?0 := () for<0> [?0 := (&'static AdtId(StructId(StructId(429)))<[?0 := AdtId(EnumId(EnumId(923)))<[]>, ?1 := AdtId(StructId(StructId(430)))<[]>]>), ?1 := 0<[]>]]>]>, ?1 := {closure:ClosureId(3963)}<[?0 := () for<0> [?0 := AdtId(StructId(StructId(429)))<[?0 := AdtId(EnumId(EnumId(923)))<[]>, ?1 := AdtId(StructId(StructId(430)))<[]>]>, ?1 := 2<[?0 := AdtId(EnumId(EnumId(289)))<[]>, ?1 := Bool]>]]>]>, ?1 := {closure:ClosureId(3990)}<[?0 := () for<0> [?0 := (&'static 2<[?0 := AdtId(EnumId(EnumId(289)))<[]>, ?1 := Bool]>), ?1 := Bool]]>]>, ?1 := AdtId(StructId(StructId(430)))<[]>]> and AdtId(StructId(StructId(358)))<[?0 := dyn for<type> [for<> Implemented(^1.0: TraitId(115)), for<> AliasEq(AliasTy(?) = 2<[?0 := AdtId(EnumId(EnumId(289)))<[]>, ?1 := Bool]>)] + 'static, ?1 := AdtId(StructId(StructId(430)))<[]>]>")
Mir body for handlers::inline_call::inline failed due TypeMismatch(TypeMismatch { expected: (&'static {slice}<AdtId(StructId(StructId(2005)))<[]>>), actual: (&'static (&'static AdtId(EnumId(EnumId(286)))<[]>)) })
Mir body for infer::unify::fmt failed due TypeMismatch(TypeMismatch { expected: (&'static dyn for<type> [for<> Implemented(^1.0: TraitId(130))] + 'static), actual: (&'static (&'static AdtId(StructId(StructId(3219)))<[?0 := !0_1447]>)) })
Mir body for infer::unify::clone failed due TypeMismatch(TypeMismatch { expected: AdtId(StructId(StructId(3219)))<[?0 := !0_1448]>, actual: (&'static AdtId(StructId(StructId(3219)))<[?0 := !0_1448]>) })
Mir body for resolver::resolver failed due UnresolvedMethod("push_scope")
Mir body for path::from_known_path failed due UnresolvedMethod("len")
Mir body for attr::any_has_attrs failed due UnresolvedMethod("map")
Mir body for find_use_path failed due UnresolvedMethod("into")
Mir body for find_use_path_prefixed failed due UnresolvedMethod("into")

@HKalbasi
Copy link
Member Author

HKalbasi commented Sep 6, 2023

@bors r+

@bors
Copy link
Contributor

bors commented Sep 6, 2023

📌 Commit e4c4693 has been approved by HKalbasi

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Sep 6, 2023

⌛ Testing commit e4c4693 with merge d04cff6...

@bors
Copy link
Contributor

bors commented Sep 6, 2023

☀️ Test successful - checks-actions
Approved by: HKalbasi
Pushing d04cff6 to master...

@bors bors merged commit d04cff6 into rust-lang:master Sep 6, 2023
@lnicola lnicola changed the title Ignore enum variants in analysis stats of mir bodies internal: Ignore enum variants in analysis stats of mir bodies Sep 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants