API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Jun 4th, 2019
189
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 28.53 KB | None | 0 0
raw download clone embed print report
  1. $ RUSTC_LOG="rustc::ty::relate,rustc::infer::nll_relate,rustc::infer::equate,rustc::infer::region_contraints,rustc_mir::borrow_check::nll::type_check" rustc -Zverbose src/test/ui/const-generics/issue-60813.rs
  2. warning: the feature `const_generics` is incomplete and may cause the compiler to crash
  3. --> src/test/ui/const-generics/issue-60813.rs:3:12
  4. |
  5. 3 | #![feature(const_generics)]
  6. | ^^^^^^^^^^^^^^
  7.  
  8. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys((), ())
  9. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=() b=()
  10. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys((), &'_#1r mut _#1t)
  11. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements ((), &'_#1r mut _#1t)
  12. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=() b=&'_#1r mut _#1t
  13. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys((), &'_#1r _#1t)
  14. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements ((), &'_#1r _#1t)
  15. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=() b=&'_#1r _#1t
  16. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys((), &'_#0r mut _#1t)
  17. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements ((), &'_#0r mut _#1t)
  18. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=() b=&'_#0r mut _#1t
  19. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=&ReStatic str b=&ReStatic str
  20. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: Generalizer.mts(TypeAndMut { ty: str, mutbl: MutImmutable }, TypeAndMut { ty: str, mutbl: MutImmutable })
  21. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=str b=str
  22. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=&'_#1r str b=&ReStatic str
  23. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: Sub.mts(TypeAndMut { ty: str, mutbl: MutImmutable }, TypeAndMut { ty: str, mutbl: MutImmutable })
  24. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(&'_#0r str, &'_#3r mut _#1t)
  25. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (&'_#0r str, &'_#3r mut _#1t)
  26. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=&'_#0r str b=&'_#3r mut _#1t
  27. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.regions('_#0r, '_#3r)
  28. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: Equate.mts(TypeAndMut { ty: str, mutbl: MutImmutable }, TypeAndMut { ty: _#1t, mutbl: MutMutable })
  29. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(&'_#0r str, &'_#3r _#1t)
  30. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (&'_#0r str, &'_#3r _#1t)
  31. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=&'_#0r str b=&'_#3r _#1t
  32. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.regions('_#0r, '_#3r)
  33. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: Equate.mts(TypeAndMut { ty: str, mutbl: MutImmutable }, TypeAndMut { ty: _#1t, mutbl: MutImmutable })
  34. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(str, _#1t)
  35. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (str, _#1t)
  36. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=str b=str
  37. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(str, str)
  38. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(&'_#1r str, &'_#2r _#2t)
  39. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (&'_#1r str, &'_#2r _#2t)
  40. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=&'_#1r str b=&'_#2r _#2t
  41. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.regions('_#1r, '_#2r)
  42. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: Equate.mts(TypeAndMut { ty: str, mutbl: MutImmutable }, TypeAndMut { ty: _#2t, mutbl: MutImmutable })
  43. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(str, _#2t)
  44. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (str, _#2t)
  45. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=str b=str
  46. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(str, str)
  47. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(&'_#0r str, &'_#2r mut _#1t)
  48. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (&'_#0r str, &'_#2r mut _#1t)
  49. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=&'_#0r str b=&'_#2r mut _#1t
  50. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.regions('_#0r, '_#2r)
  51. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: Equate.mts(TypeAndMut { ty: str, mutbl: MutImmutable }, TypeAndMut { ty: _#1t, mutbl: MutMutable })
  52. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(&'_#0r str, &'_#3r _#1t)
  53. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (&'_#0r str, &'_#3r _#1t)
  54. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=&'_#0r str b=&'_#3r _#1t
  55. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.regions('_#0r, '_#3r)
  56. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: Equate.mts(TypeAndMut { ty: str, mutbl: MutImmutable }, TypeAndMut { ty: _#1t, mutbl: MutImmutable })
  57. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(str, _#1t)
  58. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (str, _#1t)
  59. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=str b=str
  60. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(str, str)
  61. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(_#0t, &'_#2r _#2t)
  62. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (&'_#1r str, &'_#2r _#2t)
  63. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=&'_#1r str b=&'_#2r _#2t
  64. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.regions('_#1r, '_#2r)
  65. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: Equate.mts(TypeAndMut { ty: str, mutbl: MutImmutable }, TypeAndMut { ty: _#2t, mutbl: MutImmutable })
  66. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(str, _#2t)
  67. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (str, _#2t)
  68. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=str b=str
  69. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(str, str)
  70. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: build: input_or_output=&'_#0r str
  71. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: add_implied_bounds(ty=&'_#0r str)
  72. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: build: relating free region '_#0r to itself and to 'static
  73. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#0r outlives fr_b='_#0r
  74. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#0r outlives fr_b='_#0r
  75. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#0r outlives fr_b='_#1r
  76. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: build: relating free region '_#1r to itself and to 'static
  77. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#1r outlives fr_b='_#1r
  78. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#0r outlives fr_b='_#1r
  79. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#1r outlives fr_b='_#1r
  80. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: check_user_type_annotations: user_type_annotations=[]
  81. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _0
  82. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: sanitize_constant(constant=const "Hello, world!", location=bb0[0])
  83. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: sanitize_constant: expected_ty=&'_#3r str
  84. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::relate_tys: eq_types(a=&'_#3r str, b=&'_#2r str, locations=Single(bb0[0]))
  85. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: tys(a=&'_#3r str, b=&'_#2r str, variance=o)
  86. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=&'_#3r str b=&'_#2r str
  87. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: relate_with_variance(variance=-, a='_#3r, b='_#2r)
  88. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: relate_with_variance: ambient_variance = o
  89. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: regions(a='_#3r, b='_#2r, variance=o)
  90. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: replace_bound_regions(scopes=[])
  91. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: replace_bound_regions(scopes=[])
  92. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: regions: v_a = '_#3r
  93. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: regions: v_b = '_#2r
  94. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: push_outlives('_#2r: '_#3r)
  95. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: push_outlives('_#3r: '_#2r)
  96. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: relate_with_variance: r='_#3r
  97. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: nll::subtype.mts(TypeAndMut { ty: str, mutbl: MutImmutable }, TypeAndMut { ty: str, mutbl: MutImmutable })
  98. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: relate_with_variance(variance=+, a=str, b=str)
  99. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: relate_with_variance: ambient_variance = o
  100. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: tys(a=str, b=str, variance=o)
  101. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=str b=str
  102. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: relate_with_variance: r=str
  103. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: run_on_mir: src/test/ui/const-generics/issue-60813.rs:9:25: 9:40
  104. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: check_stmt: _0 = const "Hello, world!"
  105. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::relate_tys: eq_types(a=&'_#2r str, b=&'_#5r str, locations=Single(bb0[0]))
  106. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: tys(a=&'_#2r str, b=&'_#5r str, variance=+)
  107. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=&'_#2r str b=&'_#5r str
  108. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: relate_with_variance(variance=-, a='_#2r, b='_#5r)
  109. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: relate_with_variance: ambient_variance = -
  110. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: regions(a='_#2r, b='_#5r, variance=-)
  111. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: replace_bound_regions(scopes=[])
  112. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: replace_bound_regions(scopes=[])
  113. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: regions: v_a = '_#2r
  114. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: regions: v_b = '_#5r
  115. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: push_outlives('_#2r: '_#5r)
  116. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: relate_with_variance: r='_#2r
  117. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: nll::subtype.mts(TypeAndMut { ty: str, mutbl: MutImmutable }, TypeAndMut { ty: str, mutbl: MutImmutable })
  118. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: relate_with_variance(variance=+, a=str, b=str)
  119. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: relate_with_variance: ambient_variance = +
  120. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: tys(a=str, b=str, variance=+)
  121. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=str b=str
  122. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: relate_with_variance: r=str
  123. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: prove_predicates(predicate=Binder(TraitPredicate(<&'_#5r str as std::marker::Sized>)), locations=Single(bb0[0]))
  124. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: prove_predicate(predicate=Binder(TraitPredicate(<&'_#5r str as std::marker::Sized>)), location=Single(bb0[0]))
  125. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: check_terminator: Terminator { source_info: SourceInfo { span: src/test/ui/const-generics/issue-60813.rs:9:25: 9:40, scope: scope[0] }, kind: return }
  126. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: eq_opaque_type_and_type( revealed_ty=&'_#5r str, anon_ty=&'_#0r str)
  127. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: eq_opaque_type_and_type: mir_def_id=DefId(0:15 ~ issue_60813[317d]::main[0]::{{constant}}[0])
  128. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: eq_opaque_type_and_type: instantiated output_ty=&'_#0r str opaque_type_map={} revealed_ty=&'_#5r str
  129. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(&'_#0r str, &'_#5r str)
  130. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (&'_#0r str, &'_#5r str)
  131. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=&'_#0r str b=&'_#5r str
  132. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.regions('_#0r, '_#5r)
  133. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: Equate.mts(TypeAndMut { ty: str, mutbl: MutImmutable }, TypeAndMut { ty: str, mutbl: MutImmutable })
  134. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(str, str)
  135. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: eq_opaque_type_and_type: equated
  136. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: push_region_constraints: constraints generated at All(src/test/ui/const-generics/issue-60813.rs:9:25: 9:40) are [
  137. Binder(
  138. OutlivesPredicate(
  139. '_#5r,
  140. '_#0r,
  141. ),
  142. ),
  143. Binder(
  144. OutlivesPredicate(
  145. '_#0r,
  146. '_#5r,
  147. ),
  148. ),
  149. ]
  150. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All(
  151. src/test/ui/const-generics/issue-60813.rs:9:25: 9:40,
  152. )
  153. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All(
  154. src/test/ui/const-generics/issue-60813.rs:9:25: 9:40,
  155. )
  156. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::liveness: liveness::generate
  157. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::liveness: 1 total variables
  158. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::liveness: 0 variables need liveness
  159. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::liveness: 5 regions outlive free regions
  160. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(&ReErased str, &'_#0r _#0t)
  161. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (&ReErased str, &'_#0r _#0t)
  162. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=&ReErased str b=&'_#0r _#0t
  163. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.regions(ReErased, '_#0r)
  164. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: Equate.mts(TypeAndMut { ty: str, mutbl: MutImmutable }, TypeAndMut { ty: _#0t, mutbl: MutImmutable })
  165. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(str, _#0t)
  166. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (str, _#0t)
  167. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=str b=str
  168. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(str, str)
  169. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(&ReErased str, &'_#0r mut _#0t)
  170. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (&ReErased str, &'_#0r mut _#0t)
  171. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=&ReErased str b=&'_#0r mut _#0t
  172. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.regions(ReErased, '_#0r)
  173. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: Equate.mts(TypeAndMut { ty: str, mutbl: MutImmutable }, TypeAndMut { ty: _#0t, mutbl: MutMutable })
  174. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(&ReErased str, &'_#0r _#0t)
  175. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (&ReErased str, &'_#0r _#0t)
  176. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=&ReErased str b=&'_#0r _#0t
  177. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.regions(ReErased, '_#0r)
  178. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: Equate.mts(TypeAndMut { ty: str, mutbl: MutImmutable }, TypeAndMut { ty: _#0t, mutbl: MutImmutable })
  179. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(str, _#0t)
  180. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (str, _#0t)
  181. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=str b=str
  182. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(str, str)
  183. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=() b=()
  184. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=() b=()
  185. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys((), ())
  186. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys((), ())
  187. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(fn(), fn())
  188. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys((), &'_#0r _#0t)
  189. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements ((), &'_#0r _#0t)
  190. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=() b=&'_#0r _#0t
  191. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(fn() {function_with_str::<"Hello, world!">}, &'_#0r _#0t)
  192. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (fn() {function_with_str::<"Hello, world!">}, &'_#0r _#0t)
  193. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=fn() {function_with_str::<"Hello, world!">} b=&'_#0r _#0t
  194. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(&'_#0r str, &'_#1r _#0t)
  195. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (&'_#0r str, &'_#1r _#0t)
  196. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=&'_#0r str b=&'_#1r _#0t
  197. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.regions('_#0r, '_#1r)
  198. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: Equate.mts(TypeAndMut { ty: str, mutbl: MutImmutable }, TypeAndMut { ty: _#0t, mutbl: MutImmutable })
  199. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(str, _#0t)
  200. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (str, _#0t)
  201. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=str b=str
  202. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(str, str)
  203. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(&'_#0r str, &'_#1r _#0t)
  204. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (&'_#0r str, &'_#1r _#0t)
  205. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=&'_#0r str b=&'_#1r _#0t
  206. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.regions('_#0r, '_#1r)
  207. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: Equate.mts(TypeAndMut { ty: str, mutbl: MutImmutable }, TypeAndMut { ty: _#0t, mutbl: MutImmutable })
  208. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(str, _#0t)
  209. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (str, _#0t)
  210. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=str b=str
  211. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(str, str)
  212. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: build: input_or_output=()
  213. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: add_implied_bounds(ty=())
  214. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: build: relating free region '_#0r to itself and to 'static
  215. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#0r outlives fr_b='_#0r
  216. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#0r outlives fr_b='_#0r
  217. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#0r outlives fr_b='_#2r
  218. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: build: relating free region '_#1r to itself and to 'static
  219. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#1r outlives fr_b='_#1r
  220. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#0r outlives fr_b='_#1r
  221. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#1r outlives fr_b='_#2r
  222. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: build: relating free region '_#2r to itself and to 'static
  223. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#2r outlives fr_b='_#2r
  224. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#0r outlives fr_b='_#2r
  225. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#2r outlives fr_b='_#2r
  226. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: check_user_type_annotations: user_type_annotations=[]
  227. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _0
  228. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: run_on_mir: src/test/ui/const-generics/issue-60813.rs:6:1: 6:58
  229. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: check_stmt: _0 = ()
  230. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::relate_tys: eq_types(a=(), b=(), locations=Single(bb0[0]))
  231. DEBUG 2019-06-04T16:53:02Z: rustc::infer::nll_relate: tys(a=(), b=(), variance=+)
  232. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=() b=()
  233. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: prove_aggregate_predicates(aggregate_kind=Tuple, location=bb0[0])
  234. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: prove_predicates(predicate=Binder(TraitPredicate(<() as std::marker::Sized>)), locations=Single(bb0[0]))
  235. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: prove_predicate(predicate=Binder(TraitPredicate(<() as std::marker::Sized>)), location=Single(bb0[0]))
  236. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: check_terminator: Terminator { source_info: SourceInfo { span: src/test/ui/const-generics/issue-60813.rs:6:58: 6:58, scope: scope[0] }, kind: return }
  237. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: eq_opaque_type_and_type( revealed_ty=(), anon_ty=())
  238. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: eq_opaque_type_and_type: mir_def_id=DefId(0:12 ~ issue_60813[317d]::function_with_str[0])
  239. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: eq_opaque_type_and_type: instantiated output_ty=() opaque_type_map={} revealed_ty=()
  240. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys((), ())
  241. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: eq_opaque_type_and_type: equated
  242. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::liveness: liveness::generate
  243. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::liveness: 1 total variables
  244. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::liveness: 0 variables need liveness
  245. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::liveness: 3 regions outlive free regions
  246. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys((), &'_#0r _#0t)
  247. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements ((), &'_#0r _#0t)
  248. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=() b=&'_#0r _#0t
  249. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys((), &'_#0r mut _#0t)
  250. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements ((), &'_#0r mut _#0t)
  251. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=() b=&'_#0r mut _#0t
  252. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: build: input_or_output=()
  253. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: add_implied_bounds(ty=())
  254. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: build: relating free region '_#0r to itself and to 'static
  255. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#0r outlives fr_b='_#0r
  256. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#0r outlives fr_b='_#0r
  257. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#0r outlives fr_b='_#1r
  258. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: build: relating free region '_#1r to itself and to 'static
  259. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#1r outlives fr_b='_#1r
  260. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#0r outlives fr_b='_#1r
  261. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check::free_region_relations: relate_universal_regions: fr_a='_#1r outlives fr_b='_#1r
  262. DEBUG 2019-06-04T16:53:02Z: rustc_mir::borrow_check::nll::type_check: check_user_type_annotations: user_type_annotations=[CanonicalUserTypeAnnotation { user_ty: Canonical { max_universe: U0, variables: [], value: TypeOf(DefId(0:12 ~ issue_60813[317d]::function_with_str[0]), UserSubsts { substs: [Const { ty: &ReStatic str, val: Unevaluated(DefId(0:15 ~ issue_60813[317d]::main[0]::{{constant}}[0]), []) }], user_self_ty: None }) }, span: src/test/ui/const-generics/issue-60813.rs:9:5: 9:41, inferred_ty: fn() {function_with_str::<"Hello, world!">} }]
  263. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(fn() {function_with_str::<"Hello, world!">}, fn() {function_with_str::<"Hello, world!">})
  264. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (fn() {function_with_str::<"Hello, world!">}, fn() {function_with_str::<"Hello, world!">})
  265. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=fn() {function_with_str::<"Hello, world!">} b=fn() {function_with_str::<"Hello, world!">}
  266. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.consts(Const { ty: &ReLateBound(DebruijnIndex(0), BrAnon(0)) str, val: Slice { data: Allocation { bytes: [72, 101, 108, 108, 111, 44, 32, 119, 111, 114, 108, 100, 33], relocations: Relocations(SortedMap { data: [] }), undef_mask: UndefMask { blocks: [8191], len: Size { raw: 13 } }, align: Align { pow2: 0 }, mutability: Immutable, extra: () }, start: 0, end: 13 } }, Const { ty: &ReErased str, val: Slice { data: Allocation { bytes: [72, 101, 108, 108, 111, 44, 32, 119, 111, 114, 108, 100, 33], relocations: Relocations(SortedMap { data: [] }), undef_mask: UndefMask { blocks: [8191], len: Size { raw: 13 } }, align: Align { pow2: 0 }, mutability: Immutable, extra: () }, start: 0, end: 13 } })
  267. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys(&ReLateBound(DebruijnIndex(0), BrAnon(0)) str, &ReErased str)
  268. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.tys: replacements (&ReLateBound(DebruijnIndex(0), BrAnon(0)) str, &ReErased str)
  269. DEBUG 2019-06-04T16:53:02Z: rustc::ty::relate: super_relate_tys: a=&ReLateBound(DebruijnIndex(0), BrAnon(0)) str b=&ReErased str
  270. DEBUG 2019-06-04T16:53:02Z: rustc::infer::equate: Equate.regions(ReLateBound(DebruijnIndex(0), BrAnon(0)), ReErased)
  271. error: internal compiler error: src/librustc/infer/region_constraints/mod.rs:660: cannot relate bound region: ReLateBound(DebruijnIndex(0), BrAnon(0)) <= ReErased
  272.  
  273. thread 'rustc' panicked at 'Box<Any>', src/librustc_errors/lib.rs:572:9
  274. note: Run with `RUST_BACKTRACE=1` environment variable to display a backtrace.
  275. error: aborting due to previous error
  276.  
  277.  
  278. note: the compiler unexpectedly panicked. this is a bug.
  279.  
  280. note: we would appreciate a bug report: https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md#bug-reports
  281.  
  282. note: rustc 1.37.0-dev running on x86_64-unknown-linux-gnu
  283.  
  284. note: compiler flags: -Z verbose
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!