Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
int
Rust
提交
9cbe3b74
R
Rust
项目概览
int
/
Rust
大约 1 年 前同步成功
通知
1
Star
0
Fork
0
代码
文件
提交
分支
Tags
贡献者
分支图
Diff
Issue
0
列表
看板
标记
里程碑
合并请求
0
DevOps
流水线
流水线任务
计划
Wiki
0
Wiki
分析
仓库
DevOps
项目成员
Pages
R
Rust
项目概览
项目概览
详情
发布
仓库
仓库
文件
提交
分支
标签
贡献者
分支图
比较
Issue
0
Issue
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
Pages
DevOps
DevOps
流水线
流水线任务
计划
分析
分析
仓库分析
DevOps
Wiki
0
Wiki
成员
成员
收起侧边栏
关闭侧边栏
动态
分支图
创建新Issue
流水线任务
提交
Issue看板
体验新版 GitCode,发现更多精彩内容 >>
提交
9cbe3b74
编写于
4月 15, 2018
作者:
J
John Kåre Alsaker
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
Update tests
上级
5841c687
变更
27
隐藏空白更改
内联
并排
Showing
27 changed file
with
83 addition
and
133 deletion
+83
-133
src/test/compile-fail/coherence-inherited-assoc-ty-cycle-err.rs
...st/compile-fail/coherence-inherited-assoc-ty-cycle-err.rs
+1
-1
src/test/compile-fail/const-size_of-cycle.rs
src/test/compile-fail/const-size_of-cycle.rs
+1
-1
src/test/compile-fail/cycle-projection-based-on-where-clause.rs
...st/compile-fail/cycle-projection-based-on-where-clause.rs
+1
-1
src/test/compile-fail/cycle-trait-default-type-trait.rs
src/test/compile-fail/cycle-trait-default-type-trait.rs
+1
-1
src/test/compile-fail/cycle-trait-supertrait-direct.rs
src/test/compile-fail/cycle-trait-supertrait-direct.rs
+1
-1
src/test/compile-fail/infinite-vec-type-recursion.rs
src/test/compile-fail/infinite-vec-type-recursion.rs
+1
-1
src/test/compile-fail/issue-20772.rs
src/test/compile-fail/issue-20772.rs
+1
-1
src/test/compile-fail/issue-20825.rs
src/test/compile-fail/issue-20825.rs
+1
-1
src/test/compile-fail/issue-21177.rs
src/test/compile-fail/issue-21177.rs
+1
-1
src/test/compile-fail/issue-22673.rs
src/test/compile-fail/issue-22673.rs
+1
-1
src/test/compile-fail/issue-26548.rs
src/test/compile-fail/issue-26548.rs
+3
-5
src/test/compile-fail/issue-34373.rs
src/test/compile-fail/issue-34373.rs
+2
-2
src/test/compile-fail/issue-44415.rs
src/test/compile-fail/issue-44415.rs
+2
-1
src/test/compile-fail/resolve-self-in-impl.rs
src/test/compile-fail/resolve-self-in-impl.rs
+5
-5
src/test/ui/cycle-trait-supertrait-indirect.rs
src/test/ui/cycle-trait-supertrait-indirect.rs
+1
-2
src/test/ui/cycle-trait-supertrait-indirect.stderr
src/test/ui/cycle-trait-supertrait-indirect.stderr
+11
-11
src/test/ui/impl-trait/auto-trait-leak.rs
src/test/ui/impl-trait/auto-trait-leak.rs
+1
-2
src/test/ui/impl-trait/auto-trait-leak.stderr
src/test/ui/impl-trait/auto-trait-leak.stderr
+9
-13
src/test/ui/issue-12511.rs
src/test/ui/issue-12511.rs
+1
-2
src/test/ui/issue-12511.stderr
src/test/ui/issue-12511.stderr
+6
-11
src/test/ui/issue-23302-1.stderr
src/test/ui/issue-23302-1.stderr
+4
-13
src/test/ui/issue-23302-2.stderr
src/test/ui/issue-23302-2.stderr
+4
-13
src/test/ui/issue-23302-3.rs
src/test/ui/issue-23302-3.rs
+2
-2
src/test/ui/issue-23302-3.stderr
src/test/ui/issue-23302-3.stderr
+12
-17
src/test/ui/issue-36163.stderr
src/test/ui/issue-36163.stderr
+6
-15
src/test/ui/resolve/issue-23305.rs
src/test/ui/resolve/issue-23305.rs
+1
-1
src/test/ui/resolve/issue-23305.stderr
src/test/ui/resolve/issue-23305.stderr
+3
-8
未找到文件。
src/test/compile-fail/coherence-inherited-assoc-ty-cycle-err.rs
浏览文件 @
9cbe3b74
...
...
@@ -17,7 +17,7 @@
#![feature(specialization)]
trait
Trait
<
T
>
{
type
Assoc
;
}
//~^ cycl
ic dependency detected [E0391]
//~^ cycl
e detected
impl
<
T
>
Trait
<
T
>
for
Vec
<
T
>
{
type
Assoc
=
();
...
...
src/test/compile-fail/const-size_of-cycle.rs
浏览文件 @
9cbe3b74
...
...
@@ -8,7 +8,7 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// error-pattern: cycl
ic dependency
detected
// error-pattern: cycl
e
detected
#![feature(const_fn)]
...
...
src/test/compile-fail/cycle-projection-based-on-where-clause.rs
浏览文件 @
9cbe3b74
...
...
@@ -25,7 +25,7 @@
struct
A
<
T
>
where
T
:
Trait
,
T
:
Add
<
T
::
Item
>
//~^ ERROR cycl
ic dependency
detected
//~^ ERROR cycl
e
detected
//~| ERROR associated type `Item` not found for `T`
{
data
:
T
...
...
src/test/compile-fail/cycle-trait-default-type-trait.rs
浏览文件 @
9cbe3b74
...
...
@@ -12,7 +12,7 @@
// again references the trait.
trait
Foo
<
X
=
Box
<
Foo
>>
{
//~^ ERROR cycl
ic dependency
detected
//~^ ERROR cycl
e
detected
}
fn
main
()
{
}
src/test/compile-fail/cycle-trait-supertrait-direct.rs
浏览文件 @
9cbe3b74
...
...
@@ -11,7 +11,7 @@
// Test a supertrait cycle where a trait extends itself.
trait
Chromosome
:
Chromosome
{
//~^ ERROR cycl
ic dependency
detected
//~^ ERROR cycl
e
detected
}
fn
main
()
{
}
src/test/compile-fail/infinite-vec-type-recursion.rs
浏览文件 @
9cbe3b74
...
...
@@ -9,6 +9,6 @@
// except according to those terms.
type
x
=
Vec
<
x
>
;
//~^ ERROR cycl
ic dependency
detected
//~^ ERROR cycl
e
detected
fn
main
()
{
let
b
:
x
=
Vec
::
new
();
}
src/test/compile-fail/issue-20772.rs
浏览文件 @
9cbe3b74
...
...
@@ -9,7 +9,7 @@
// except according to those terms.
trait
T
:
Iterator
<
Item
=
Self
::
Item
>
//~^ ERROR cycl
ic dependency
detected
//~^ ERROR cycl
e
detected
//~| ERROR associated type `Item` not found for `Self`
{}
...
...
src/test/compile-fail/issue-20825.rs
浏览文件 @
9cbe3b74
...
...
@@ -13,7 +13,7 @@ pub trait Subscriber {
}
pub
trait
Processor
:
Subscriber
<
Input
=
Self
::
Input
>
{
//~^ ERROR cycl
ic dependency detected [E0391]
//~^ ERROR cycl
e detected
type
Input
;
}
...
...
src/test/compile-fail/issue-21177.rs
浏览文件 @
9cbe3b74
...
...
@@ -14,7 +14,7 @@ trait Trait {
}
fn
foo
<
T
:
Trait
<
A
=
T
::
B
>>
()
{
}
//~^ ERROR cycl
ic dependency
detected
//~^ ERROR cycl
e
detected
//~| ERROR associated type `B` not found for `T`
fn
main
()
{
}
src/test/compile-fail/issue-22673.rs
浏览文件 @
9cbe3b74
...
...
@@ -9,7 +9,7 @@
// except according to those terms.
trait
Expr
:
PartialEq
<
Self
::
Item
>
{
//~^ ERROR: cycl
ic dependency
detected
//~^ ERROR: cycl
e
detected
type
Item
;
}
...
...
src/test/compile-fail/issue-26548.rs
浏览文件 @
9cbe3b74
...
...
@@ -8,11 +8,9 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// error-pattern: cyclic dependency detected
// note-pattern: the cycle begins when computing layout of
// note-pattern: ...which then requires computing layout of
// note-pattern: ...which then again requires computing layout of
// error-pattern: cycle detected when computing layout of
// note-pattern: ...which requires computing layout of
// note-pattern: ...which again requires computing layout of
trait
Mirror
{
type
It
:
?
Sized
;
}
impl
<
T
:
?
Sized
>
Mirror
for
T
{
type
It
=
Self
;
}
...
...
src/test/compile-fail/issue-34373.rs
浏览文件 @
9cbe3b74
...
...
@@ -14,8 +14,8 @@ trait Trait<T> {
fn
foo
(
_
:
T
)
{}
}
pub
struct
Foo
<
T
=
Box
<
Trait
<
DefaultFoo
>>>
;
type
DefaultFoo
=
Foo
;
//~ ERROR cyclic dependency detected
pub
struct
Foo
<
T
=
Box
<
Trait
<
DefaultFoo
>>>
;
//~ ERROR cycle detected
type
DefaultFoo
=
Foo
;
fn
main
()
{
}
src/test/compile-fail/issue-44415.rs
浏览文件 @
9cbe3b74
...
...
@@ -8,6 +8,8 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// error-pattern: cycle detected when computing layout of
#![feature(const_fn)]
#![feature(core_intrinsics)]
...
...
@@ -15,7 +17,6 @@
struct
Foo
{
bytes
:
[
u8
;
unsafe
{
intrinsics
::
size_of
::
<
Foo
>
()
}],
//~^ ERROR cyclic dependency detected
x
:
usize
,
}
...
...
src/test/compile-fail/resolve-self-in-impl.rs
浏览文件 @
9cbe3b74
...
...
@@ -21,10 +21,10 @@ impl Tr for S where Self: Copy {} // OK
impl
Tr
for
S
where
S
<
Self
>
:
Copy
{}
// OK
impl
Tr
for
S
where
Self
::
A
:
Copy
{}
// OK
impl
Tr
for
Self
{}
//~ ERROR cycl
ic dependency
detected
impl
Tr
for
S
<
Self
>
{}
//~ ERROR cycl
ic dependency
detected
impl
Self
{}
//~ ERROR cycl
ic dependency
detected
impl
S
<
Self
>
{}
//~ ERROR cycl
ic dependency
detected
impl
Tr
<
Self
::
A
>
for
S
{}
//~ ERROR cycl
ic dependency
detected
impl
Tr
for
Self
{}
//~ ERROR cycl
e
detected
impl
Tr
for
S
<
Self
>
{}
//~ ERROR cycl
e
detected
impl
Self
{}
//~ ERROR cycl
e
detected
impl
S
<
Self
>
{}
//~ ERROR cycl
e
detected
impl
Tr
<
Self
::
A
>
for
S
{}
//~ ERROR cycl
e
detected
fn
main
()
{}
src/test/ui/cycle-trait-supertrait-indirect.rs
浏览文件 @
9cbe3b74
...
...
@@ -15,10 +15,9 @@ trait A: B {
}
trait
B
:
C
{
//~^ ERROR cycle detected
}
trait
C
:
B
{
}
//~^ ERROR cyclic dependency detected
//~| cyclic reference
fn
main
()
{
}
src/test/ui/cycle-trait-supertrait-indirect.stderr
浏览文件 @
9cbe3b74
error[E0391]: cycl
ic dependency detected
--> $DIR/cycle-trait-supertrait-indirect.rs:
20
:1
error[E0391]: cycl
e detected when computing the supertraits of `B`
--> $DIR/cycle-trait-supertrait-indirect.rs:
17
:1
|
LL | trait
C: B { }
| ^^^^^^^^^^
cyclic reference
LL | trait
B: C {
| ^^^^^^^^^^
|
note:
the cycle begins when computing the supertraits of `B
`...
--> $DIR/cycle-trait-supertrait-indirect.rs:
14
:1
note:
...which requires computing the supertraits of `C
`...
--> $DIR/cycle-trait-supertrait-indirect.rs:
21
:1
|
LL | trait
A: B {
LL | trait
C: B { }
| ^^^^^^^^^^
note: ...which then requires computing the supertraits of `C`...
--> $DIR/cycle-trait-supertrait-indirect.rs:17:1
= note: ...which again requires computing the supertraits of `B`, completing the cycle
note: cycle used when computing the supertraits of `A`
--> $DIR/cycle-trait-supertrait-indirect.rs:14:1
|
LL | trait
B: C
{
LL | trait
A: B
{
| ^^^^^^^^^^
= note: ...which then again requires computing the supertraits of `B`, completing the cycle.
error: aborting due to previous error
...
...
src/test/ui/impl-trait/auto-trait-leak.rs
浏览文件 @
9cbe3b74
...
...
@@ -40,8 +40,7 @@ fn after() -> impl Fn(i32) {
// independently resolved and only require the concrete
// return type, which can't depend on the obligation.
fn
cycle1
()
->
impl
Clone
{
//~^ ERROR cyclic dependency detected
//~| cyclic reference
//~^ ERROR cycle detected
send
(
cycle2
()
.clone
());
Rc
::
new
(
Cell
::
new
(
5
))
...
...
src/test/ui/impl-trait/auto-trait-leak.stderr
浏览文件 @
9cbe3b74
...
...
@@ -28,33 +28,29 @@ note: required by `send`
LL | fn send<T: Send>(_: T) {}
| ^^^^^^^^^^^^^^^^^^^^^^
error[E0391]: cyclic dependency detected
--> $DIR/auto-trait-leak.rs:42:1
|
LL | fn cycle1() -> impl Clone {
| ^^^^^^^^^^^^^^^^^^^^^^^^^ cyclic reference
|
note: the cycle begins when processing `cycle1`...
error[E0391]: cycle detected when processing `cycle1`
--> $DIR/auto-trait-leak.rs:42:1
|
LL | fn cycle1() -> impl Clone {
| ^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...which then requires processing `cycle2::{{impl-Trait}}`...
--> $DIR/auto-trait-leak.rs:50:16
|
note: ...which requires processing `cycle2::{{impl-Trait}}`...
--> $DIR/auto-trait-leak.rs:49:16
|
LL | fn cycle2() -> impl Clone {
| ^^^^^^^^^^
note: ...which
then
requires processing `cycle2`...
--> $DIR/auto-trait-leak.rs:
50
:1
note: ...which requires processing `cycle2`...
--> $DIR/auto-trait-leak.rs:
49
:1
|
LL | fn cycle2() -> impl Clone {
| ^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...which
then
requires processing `cycle1::{{impl-Trait}}`...
note: ...which requires processing `cycle1::{{impl-Trait}}`...
--> $DIR/auto-trait-leak.rs:42:16
|
LL | fn cycle1() -> impl Clone {
| ^^^^^^^^^^
= note: ...which then again requires processing `cycle1`, completing the cycle.
= note: ...which again requires processing `cycle1`, completing the cycle
note: cycle used when type-checking all item bodies
error: aborting due to 3 previous errors
...
...
src/test/ui/issue-12511.rs
浏览文件 @
9cbe3b74
...
...
@@ -9,11 +9,10 @@
// except according to those terms.
trait
t1
:
t2
{
//~^ ERROR cycle detected
}
trait
t2
:
t1
{
//~^ ERROR cyclic dependency detected
//~| cyclic reference
}
fn
main
()
{
}
src/test/ui/issue-12511.stderr
浏览文件 @
9cbe3b74
error[E0391]: cyclic dependency detected
--> $DIR/issue-12511.rs:14:1
|
LL | trait t2 : t1 {
| ^^^^^^^^^^^^^ cyclic reference
|
note: the cycle begins when computing the supertraits of `t1`...
error[E0391]: cycle detected when computing the supertraits of `t1`
--> $DIR/issue-12511.rs:11:1
|
LL | trait t1 : t2 {
| ^^^^^^^^^^^^^
note: ...which then requires computing the supertraits of `t2`...
--> $DIR/issue-12511.rs:11:1
|
LL | trait t1 : t2 {
note: ...which requires computing the supertraits of `t2`...
--> $DIR/issue-12511.rs:15:1
|
LL | trait t2 : t1 {
| ^^^^^^^^^^^^^
= note: ...which
then again requires computing the supertraits of `t1`, completing the cycle.
= note: ...which
again requires computing the supertraits of `t1`, completing the cycle
error: aborting due to previous error
...
...
src/test/ui/issue-23302-1.stderr
浏览文件 @
9cbe3b74
error[E0391]: cyclic dependency detected
--> $DIR/issue-23302-1.rs:14:9
|
LL | A = X::A as isize, //~ ERROR E0391
| ^^^^^^^^^^^^^ cyclic reference
|
note: the cycle begins when const-evaluating `X::A::{{initializer}}`...
--> $DIR/issue-23302-1.rs:14:9
|
LL | A = X::A as isize, //~ ERROR E0391
| ^^^^^^^^^^^^^
note: ...which then requires computing layout of `X`...
error[E0391]: cycle detected when const-evaluating `X::A::{{initializer}}`
--> $DIR/issue-23302-1.rs:14:9
|
LL | A = X::A as isize, //~ ERROR E0391
| ^^^^
= note: ...which then again requires const-evaluating `X::A::{{initializer}}`, completing the cycle.
|
note: ...which requires computing layout of `X`...
= note: ...which again requires const-evaluating `X::A::{{initializer}}`, completing the cycle
error: aborting due to previous error
...
...
src/test/ui/issue-23302-2.stderr
浏览文件 @
9cbe3b74
error[E0391]: cyclic dependency detected
--> $DIR/issue-23302-2.rs:14:9
|
LL | A = Y::B as isize, //~ ERROR E0391
| ^^^^^^^^^^^^^ cyclic reference
|
note: the cycle begins when const-evaluating `Y::A::{{initializer}}`...
--> $DIR/issue-23302-2.rs:14:9
|
LL | A = Y::B as isize, //~ ERROR E0391
| ^^^^^^^^^^^^^
note: ...which then requires computing layout of `Y`...
error[E0391]: cycle detected when const-evaluating `Y::A::{{initializer}}`
--> $DIR/issue-23302-2.rs:14:9
|
LL | A = Y::B as isize, //~ ERROR E0391
| ^^^^
= note: ...which then again requires const-evaluating `Y::A::{{initializer}}`, completing the cycle.
|
note: ...which requires computing layout of `Y`...
= note: ...which again requires const-evaluating `Y::A::{{initializer}}`, completing the cycle
error: aborting due to previous error
...
...
src/test/ui/issue-23302-3.rs
浏览文件 @
9cbe3b74
...
...
@@ -8,8 +8,8 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
const
A
:
i32
=
B
;
const
A
:
i32
=
B
;
//~ ERROR cycle detected
const
B
:
i32
=
A
;
//~ ERROR cyclic dependency detected
const
B
:
i32
=
A
;
fn
main
()
{
}
src/test/ui/issue-23302-3.stderr
浏览文件 @
9cbe3b74
error[E0391]: cyclic dependency detected
--> $DIR/issue-23302-3.rs:13:16
|
LL | const B: i32 = A; //~ ERROR cyclic dependency detected
| ^ cyclic reference
|
note: the cycle begins when const checking if rvalue is promotable to static `A`...
error[E0391]: cycle detected when const checking if rvalue is promotable to static `A`
--> $DIR/issue-23302-3.rs:11:1
|
LL | const A: i32 = B;
LL | const A: i32 = B;
//~ ERROR cycle detected
| ^^^^^^^^^^^^^^^^^
note: ...which then requires checking which parts of `A` are promotable to static...
--> $DIR/issue-23302-3.rs:11:1
|
LL | const A: i32 = B;
| ^^^^^^^^^^^^^^^^^
note: ...which then requires const checking if rvalue is promotable to static `B`...
note: ...which requires checking which parts of `A` are promotable to static...
--> $DIR/issue-23302-3.rs:11:16
|
LL | const A: i32 = B;
LL | const A: i32 = B;
//~ ERROR cycle detected
| ^
note: ...which
then requires checking which parts of `B` are promotable to static
...
note: ...which
requires const checking if rvalue is promotable to static `B`
...
--> $DIR/issue-23302-3.rs:13:1
|
LL | const B: i32 = A;
//~ ERROR cyclic dependency detected
LL | const B: i32 = A;
| ^^^^^^^^^^^^^^^^^
= note: ...which then again requires const checking if rvalue is promotable to static `A`, completing the cycle.
note: ...which requires checking which parts of `B` are promotable to static...
--> $DIR/issue-23302-3.rs:13:16
|
LL | const B: i32 = A;
| ^
= note: ...which again requires const checking if rvalue is promotable to static `A`, completing the cycle
error: aborting due to previous error
...
...
src/test/ui/issue-36163.stderr
浏览文件 @
9cbe3b74
error[E0391]: cyclic dependency detected
--> $DIR/issue-36163.rs:14:9
|
LL | B = A, //~ ERROR E0391
| ^ cyclic reference
|
note: the cycle begins when const-evaluating `Foo::B::{{initializer}}`...
error[E0391]: cycle detected when const-evaluating `Foo::B::{{initializer}}`
--> $DIR/issue-36163.rs:14:9
|
LL | B = A, //~ ERROR E0391
| ^
note: ...which then requires processing `Foo::B::{{initializer}}`...
|
note: ...which requires processing `Foo::B::{{initializer}}`...
--> $DIR/issue-36163.rs:14:9
|
LL | B = A, //~ ERROR E0391
| ^
note: ...which then requires const-evaluating `A`...
--> $DIR/issue-36163.rs:11:1
|
LL | const A: isize = Foo::B as isize;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...which then requires computing layout of `Foo`...
note: ...which requires const-evaluating `A`...
--> $DIR/issue-36163.rs:11:18
|
LL | const A: isize = Foo::B as isize;
| ^^^^^^
= note: ...which then again requires const-evaluating `Foo::B::{{initializer}}`, completing the cycle.
note: ...which requires computing layout of `Foo`...
= note: ...which again requires const-evaluating `Foo::B::{{initializer}}`, completing the cycle
error: aborting due to previous error
...
...
src/test/ui/resolve/issue-23305.rs
浏览文件 @
9cbe3b74
...
...
@@ -13,6 +13,6 @@ pub trait ToNbt<T> {
}
impl
ToNbt
<
Self
>
{}
//~^ ERROR cycl
ic dependency
detected
//~^ ERROR cycl
e
detected
fn
main
()
{}
src/test/ui/resolve/issue-23305.stderr
浏览文件 @
9cbe3b74
error[E0391]: cycl
ic dependency detected
error[E0391]: cycl
e detected when processing `<impl at $DIR/issue-23305.rs:15:1: 15:20>`
--> $DIR/issue-23305.rs:15:12
|
LL | impl ToNbt<Self> {}
| ^^^^
cyclic reference
| ^^^^
|
note: the cycle begins when processing `<impl at $DIR/issue-23305.rs:15:1: 15:20>`...
--> $DIR/issue-23305.rs:15:1
|
LL | impl ToNbt<Self> {}
| ^^^^^^^^^^^^^^^^
= note: ...which then again requires processing `<impl at $DIR/issue-23305.rs:15:1: 15:20>`, completing the cycle.
= note: ...which again requires processing `<impl at $DIR/issue-23305.rs:15:1: 15:20>`, completing the cycle
error: aborting due to previous error
...
...
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录