Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
int
Rust
提交
9891e470
R
Rust
项目概览
int
/
Rust
11 个月 前同步成功
通知
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,发现更多精彩内容 >>
提交
9891e470
编写于
7月 23, 2021
作者:
J
jackh726
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
Also ignore typeoutlives predicates
上级
07ee86a6
变更
2
隐藏空白更改
内联
并排
Showing
2 changed file
with
31 addition
and
0 deletion
+31
-0
compiler/rustc_mir/src/borrow_check/type_check/input_output.rs
...ler/rustc_mir/src/borrow_check/type_check/input_output.rs
+1
-0
src/test/ui/associated-types/normalization-generality-2.rs
src/test/ui/associated-types/normalization-generality-2.rs
+30
-0
未找到文件。
compiler/rustc_mir/src/borrow_check/type_check/input_output.rs
浏览文件 @
9891e470
...
...
@@ -182,6 +182,7 @@ fn equate_normalized_input_or_output(&mut self, a: Ty<'tcx>, b: Ty<'tcx>, span:
matches!
(
o
.predicate
.kind
()
.skip_binder
(),
ty
::
PredicateKind
::
RegionOutlives
(
_
)
|
ty
::
PredicateKind
::
TypeOutlives
(
_
)
)
})
{
n
.value
...
...
src/test/ui/associated-types/normalization-generality-2.rs
0 → 100644
浏览文件 @
9891e470
// build-pass
// Ensures that we don't regress on "implementation is not general enough" when
// normalizating under binders. Unlike `normalization-generality.rs`, this also produces
// type outlives predicates that we must ignore.
pub
unsafe
trait
Yokeable
<
'a
>
{
type
Output
:
'a
;
}
pub
struct
Yoke
<
Y
:
for
<
'a
>
Yokeable
<
'a
>>
{
_
marker
:
std
::
marker
::
PhantomData
<
Y
>
,
}
impl
<
Y
:
for
<
'a
>
Yokeable
<
'a
>>
Yoke
<
Y
>
{
pub
fn
project
<
P
>
(
&
self
,
_
f
:
for
<
'a
>
fn
(
&<
Y
as
Yokeable
<
'a
>>
::
Output
,
&
'a
())
->
<
P
as
Yokeable
<
'a
>>
::
Output
,
)
->
Yoke
<
P
>
where
P
:
for
<
'a
>
Yokeable
<
'a
>
,
{
unimplemented!
()
}
}
pub
fn
slice
(
y
:
Yoke
<&
'static
str
>
)
->
Yoke
<&
'static
[
u8
]
>
{
y
.project
(
move
|
yk
,
_
|
yk
.as_bytes
())
}
unsafe
impl
<
'a
,
T
:
'static
+
?
Sized
>
Yokeable
<
'a
>
for
&
'static
T
{
type
Output
=
&
'a
T
;
}
fn
main
()
{}
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录