Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
int
Rust
提交
5dfc5f20
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,发现更多精彩内容 >>
提交
5dfc5f20
编写于
1月 02, 2019
作者:
M
Matthew Jasper
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
Wf-check the output type of a function in MIR-typeck
上级
ec194646
变更
3
隐藏空白更改
内联
并排
Showing
3 changed file
with
39 addition
and
1 deletion
+39
-1
src/librustc_mir/borrow_check/nll/type_check/mod.rs
src/librustc_mir/borrow_check/nll/type_check/mod.rs
+1
-1
src/test/ui/nll/issue-57265-return-type-wf-check.rs
src/test/ui/nll/issue-57265-return-type-wf-check.rs
+26
-0
src/test/ui/nll/issue-57265-return-type-wf-check.stderr
src/test/ui/nll/issue-57265-return-type-wf-check.stderr
+12
-0
未找到文件。
src/librustc_mir/borrow_check/nll/type_check/mod.rs
浏览文件 @
5dfc5f20
...
...
@@ -1452,7 +1452,7 @@ fn check_terminator(
self
.check_call_dest
(
mir
,
term
,
&
sig
,
destination
,
term_location
);
self
.prove_predicates
(
sig
.inputs
()
.iter
()
.map
(|
ty
|
ty
::
Predicate
::
WellFormed
(
ty
)),
sig
.inputs
_and_output
.iter
()
.map
(|
ty
|
ty
::
Predicate
::
WellFormed
(
ty
)),
term_location
.to_locations
(),
ConstraintCategory
::
Boring
,
);
...
...
src/test/ui/nll/issue-57265-return-type-wf-check.rs
0 → 100644
浏览文件 @
5dfc5f20
#![feature(nll)]
use
std
::
any
::
Any
;
#[derive(Debug,
Clone)]
struct
S
<
T
:
'static
>
(
T
);
// S<&'a T> is in the return type, so we get an implied bound
// &'a T: 'static
fn
foo
<
'a
,
T
>
(
x
:
&
'a
T
)
->
(
S
<&
'a
T
>
,
Box
<
dyn
Any
+
'static
>
)
{
let
y
=
S
(
x
);
let
z
=
Box
::
new
(
y
.clone
())
as
Box
<
dyn
Any
+
'static
>
;
(
y
,
z
)
}
fn
main
()
{
let
x
=
5
;
// Check that we require that the argument is of type `&'static String`,
// so that the return type is well-formed.
let
(
_
,
z
)
=
foo
(
&
"hello"
.to_string
());
//~^ ERROR temporary value dropped while borrowed
println!
(
"{:?}"
,
z
.downcast_ref
::
<
S
<&
'static
String
>>
());
}
src/test/ui/nll/issue-57265-return-type-wf-check.stderr
0 → 100644
浏览文件 @
5dfc5f20
error[E0716]: temporary value dropped while borrowed
--> $DIR/issue-57265-return-type-wf-check.rs:22:23
|
LL | let (_, z) = foo(&"hello".to_string());
| -----^^^^^^^^^^^^^^^^^^^-- temporary value is freed at the end of this statement
| | |
| | creates a temporary which is freed while still in use
| argument requires that borrow lasts for `'static`
error: aborting due to previous error
For more information about this error, try `rustc --explain E0716`.
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录