Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
int
Rust
提交
f051e132
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,发现更多精彩内容 >>
提交
f051e132
编写于
2月 18, 2015
作者:
K
Keegan McAllister
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
Fix references to doc.rs throughout the code
上级
ac6cab08
变更
17
隐藏空白更改
内联
并排
Showing
17 changed file
with
28 addition
and
26 deletion
+28
-26
src/librustc/middle/infer/higher_ranked/mod.rs
src/librustc/middle/infer/higher_ranked/mod.rs
+4
-3
src/librustc/middle/infer/region_inference/mod.rs
src/librustc/middle/infer/region_inference/mod.rs
+1
-1
src/librustc/middle/region.rs
src/librustc/middle/region.rs
+1
-1
src/librustc/middle/traits/coherence.rs
src/librustc/middle/traits/coherence.rs
+1
-1
src/librustc/middle/traits/select.rs
src/librustc/middle/traits/select.rs
+4
-3
src/librustc_borrowck/borrowck/fragments.rs
src/librustc_borrowck/borrowck/fragments.rs
+1
-1
src/librustc_borrowck/borrowck/gather_loans/mod.rs
src/librustc_borrowck/borrowck/gather_loans/mod.rs
+2
-2
src/librustc_borrowck/borrowck/mod.rs
src/librustc_borrowck/borrowck/mod.rs
+3
-3
src/librustc_borrowck/borrowck/move_data.rs
src/librustc_borrowck/borrowck/move_data.rs
+3
-3
src/librustc_trans/trans/datum.rs
src/librustc_trans/trans/datum.rs
+1
-1
src/librustc_typeck/check/method/mod.rs
src/librustc_typeck/check/method/mod.rs
+1
-1
src/libstd/collections/hash/map.rs
src/libstd/collections/hash/map.rs
+1
-1
src/test/compile-fail/borrowck-borrow-mut-base-ptr-in-aliasable-loc.rs
...ile-fail/borrowck-borrow-mut-base-ptr-in-aliasable-loc.rs
+1
-1
src/test/compile-fail/borrowck-move-mut-base-ptr.rs
src/test/compile-fail/borrowck-move-mut-base-ptr.rs
+1
-1
src/test/compile-fail/borrowck-mut-borrow-of-mut-base-ptr.rs
src/test/compile-fail/borrowck-mut-borrow-of-mut-base-ptr.rs
+1
-1
src/test/compile-fail/borrowck-swap-mut-base-ptr.rs
src/test/compile-fail/borrowck-swap-mut-base-ptr.rs
+1
-1
src/test/run-pass/borrowck-borrow-of-mut-base-ptr-safe.rs
src/test/run-pass/borrowck-borrow-of-mut-base-ptr-safe.rs
+1
-1
未找到文件。
src/librustc/middle/infer/higher_ranked/mod.rs
浏览文件 @
f051e132
...
...
@@ -465,7 +465,8 @@ pub fn skolemize_late_bound_regions<'a,'tcx,T>(infcx: &InferCtxt<'a,'tcx>,
* Replace all regions bound by `binder` with skolemized regions and
* return a map indicating which bound-region was replaced with what
* skolemized region. This is the first step of checking subtyping
* when higher-ranked things are involved. See `doc.rs` for more details.
* when higher-ranked things are involved. See `README.md` for more
* details.
*/
let
(
result
,
map
)
=
ty
::
replace_late_bound_regions
(
infcx
.tcx
,
binder
,
|
br
|
{
...
...
@@ -490,7 +491,7 @@ pub fn leak_check<'a,'tcx>(infcx: &InferCtxt<'a,'tcx>,
* and checks to determine whether any of the skolemized regions created
* in `skol_map` would "escape" -- meaning that they are related to
* other regions in some way. If so, the higher-ranked subtyping doesn't
* hold. See `
doc.rs
` for more details.
* hold. See `
README.md
` for more details.
*/
debug!
(
"leak_check: skol_map={}"
,
...
...
@@ -533,7 +534,7 @@ pub fn leak_check<'a,'tcx>(infcx: &InferCtxt<'a,'tcx>,
/// passed; currently, it's used in the trait matching code to create
/// a set of nested obligations frmo an impl that matches against
/// something higher-ranked. More details can be found in
/// `
middle::traits::doc.rs
`.
/// `
librustc/middle/traits/README.md
`.
///
/// As a brief example, consider the obligation `for<'a> Fn(&'a int)
/// -> &'a int`, and the impl:
...
...
src/librustc/middle/infer/region_inference/mod.rs
浏览文件 @
f051e132
...
...
@@ -8,7 +8,7 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
//! See
doc.rs
//! See
README.md
pub
use
self
::
Constraint
::
*
;
pub
use
self
::
Verify
::
*
;
...
...
src/librustc/middle/region.rs
浏览文件 @
f051e132
...
...
@@ -852,7 +852,7 @@ fn resolve_expr(visitor: &mut RegionResolutionVisitor, expr: &ast::Expr) {
// The idea is that call.callee_id represents *the time when
// the invoked function is actually running* and call.id
// represents *the time to prepare the arguments and make the
// call*. See the section "Borrows in Calls" borrowck/
doc.rs
// call*. See the section "Borrows in Calls" borrowck/
README.md
// for an extended explanation of why this distinction is
// important.
//
...
...
src/librustc/middle/traits/coherence.rs
浏览文件 @
f051e132
...
...
@@ -8,7 +8,7 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
//! See `
doc.rs
` for high-level documentation
//! See `
README.md
` for high-level documentation
use
super
::
SelectionContext
;
use
super
::{
Obligation
,
ObligationCause
};
...
...
src/librustc/middle/traits/select.rs
浏览文件 @
f051e132
...
...
@@ -8,7 +8,7 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
//! See `
doc.rs
` for high-level documentation
//! See `
README.md
` for high-level documentation
#![allow(dead_code)]
// FIXME -- just temporarily
pub
use
self
::
MethodMatchResult
::
*
;
...
...
@@ -547,7 +547,8 @@ pub fn evaluate_impl(&mut self,
//
// The selection process begins by examining all in-scope impls,
// caller obligations, and so forth and assembling a list of
// candidates. See `doc.rs` and the `Candidate` type for more details.
// candidates. See `README.md` and the `Candidate` type for more
// details.
fn
candidate_from_obligation
<
'o
>
(
&
mut
self
,
stack
:
&
TraitObligationStack
<
'o
,
'tcx
>
)
...
...
@@ -1656,7 +1657,7 @@ fn nominal<'cx, 'tcx>(this: &mut SelectionContext<'cx, 'tcx>,
//
// Confirmation unifies the output type parameters of the trait
// with the values found in the obligation, possibly yielding a
// type error. See `
doc.rs
` for more details.
// type error. See `
README.md
` for more details.
fn
confirm_candidate
(
&
mut
self
,
obligation
:
&
TraitObligation
<
'tcx
>
,
...
...
src/librustc_borrowck/borrowck/fragments.rs
浏览文件 @
f051e132
...
...
@@ -10,7 +10,7 @@
//! Helper routines used for fragmenting structural paths due to moves for
//! tracking drop obligations. Please see the extensive comments in the
//! section "Structural fragments" in `
doc.rs
`.
//! section "Structural fragments" in `
README.md
`.
use
self
::
Fragment
::
*
;
...
...
src/librustc_borrowck/borrowck/gather_loans/mod.rs
浏览文件 @
f051e132
...
...
@@ -173,7 +173,7 @@ fn decl_without_init(&mut self, id: ast::NodeId, span: Span) {
}
}
/// Implements the A-* rules in
doc.rs
.
/// Implements the A-* rules in
README.md
.
fn
check_aliasability
<
'a
,
'tcx
>
(
bccx
:
&
BorrowckCtxt
<
'a
,
'tcx
>
,
borrow_span
:
Span
,
loan_cause
:
euv
::
LoanCause
,
...
...
@@ -375,7 +375,7 @@ fn check_mutability<'a, 'tcx>(bccx: &BorrowckCtxt<'a, 'tcx>,
cmt
:
mc
::
cmt
<
'tcx
>
,
req_kind
:
ty
::
BorrowKind
)
->
Result
<
(),()
>
{
//! Implements the M-* rules in
doc.rs
.
//! Implements the M-* rules in
README.md
.
match
req_kind
{
ty
::
UniqueImmBorrow
|
ty
::
ImmBorrow
=>
{
...
...
src/librustc_borrowck/borrowck/mod.rs
浏览文件 @
f051e132
...
...
@@ -295,7 +295,7 @@ fn eq(&self, that: &LoanPath<'tcx>) -> bool {
#[derive(PartialEq,
Eq,
Hash,
Debug)]
pub
enum
LoanPathKind
<
'tcx
>
{
LpVar
(
ast
::
NodeId
),
// `x` in
doc.rs
LpVar
(
ast
::
NodeId
),
// `x` in
README.md
LpUpvar
(
ty
::
UpvarId
),
// `x` captured by-value into closure
LpDowncast
(
Rc
<
LoanPath
<
'tcx
>>
,
ast
::
DefId
),
// `x` downcast to particular enum variant
LpExtend
(
Rc
<
LoanPath
<
'tcx
>>
,
mc
::
MutabilityCategory
,
LoanPathElem
)
...
...
@@ -336,8 +336,8 @@ fn cleaned(self) -> InteriorKind {
#[derive(Copy,
PartialEq,
Eq,
Hash,
Debug)]
pub
enum
LoanPathElem
{
LpDeref
(
mc
::
PointerKind
),
// `*LV` in
doc.rs
LpInterior
(
InteriorKind
),
// `LV.f` in
doc.rs
LpDeref
(
mc
::
PointerKind
),
// `*LV` in
README.md
LpInterior
(
InteriorKind
),
// `LV.f` in
README.md
}
pub
fn
closure_to_block
(
closure_id
:
ast
::
NodeId
,
...
...
src/librustc_borrowck/borrowck/move_data.rs
浏览文件 @
f051e132
...
...
@@ -9,7 +9,7 @@
// except according to those terms.
//! Data structures used for tracking moves. Please see the extensive
//! comments in the section "Moves and initialization" in `
doc.rs
`.
//! comments in the section "Moves and initialization" in `
README.md
`.
pub
use
self
::
MoveKind
::
*
;
...
...
@@ -33,7 +33,7 @@
pub
mod
fragments
;
pub
struct
MoveData
<
'tcx
>
{
/// Move paths. See section "Move paths" in `
doc.rs
`.
/// Move paths. See section "Move paths" in `
README.md
`.
pub
paths
:
RefCell
<
Vec
<
MovePath
<
'tcx
>>>
,
/// Cache of loan path to move path index, for easy lookup.
...
...
@@ -464,7 +464,7 @@ fn fixup_fragment_sets(&self, tcx: &ty::ctxt<'tcx>) {
/// assignments into the provided data flow contexts.
/// Moves are generated by moves and killed by assignments and
/// scoping. Assignments are generated by assignment to variables and
/// killed by scoping. See `
doc.rs
` for more details.
/// killed by scoping. See `
README.md
` for more details.
fn
add_gen_kills
(
&
self
,
tcx
:
&
ty
::
ctxt
<
'tcx
>
,
dfcx_moves
:
&
mut
MoveDataFlow
,
...
...
src/librustc_trans/trans/datum.rs
浏览文件 @
f051e132
...
...
@@ -122,7 +122,7 @@
/// A `Datum` encapsulates the result of evaluating an expression. It
/// describes where the value is stored, what Rust type the value has,
/// whether it is addressed by reference, and so forth. Please refer
/// the section on datums in `
doc.rs
` for more details.
/// the section on datums in `
README.md
` for more details.
#[derive(Clone,
Copy)]
pub
struct
Datum
<
'tcx
,
K
>
{
/// The llvm value. This is either a pointer to the Rust value or
...
...
src/librustc_typeck/check/method/mod.rs
浏览文件 @
f051e132
...
...
@@ -8,7 +8,7 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
//! Method lookup: the secret sauce of Rust. See `
doc.rs
`.
//! Method lookup: the secret sauce of Rust. See `
README.md
`.
use
astconv
::
AstConv
;
use
check
::{
FnCtxt
};
...
...
src/libstd/collections/hash/map.rs
浏览文件 @
f051e132
...
...
@@ -204,7 +204,7 @@ fn test_resize_policy() {
// produces identical results to a linear naive reinsertion from the same
// element.
//
// FIXME(Gankro, pczarn): review the proof and put it all in a separate
doc.rs
// FIXME(Gankro, pczarn): review the proof and put it all in a separate
README.md
/// A hash map implementation which uses linear probing with Robin
/// Hood bucket stealing.
...
...
src/test/compile-fail/borrowck-borrow-mut-base-ptr-in-aliasable-loc.rs
浏览文件 @
f051e132
...
...
@@ -11,7 +11,7 @@
// Test that attempt to reborrow an `&mut` pointer in an aliasable
// location yields an error.
//
// Example from src/
middle/borrowck/doc.rs
// Example from src/
librustc_borrowck/borrowck/README.md
fn
foo
(
t0
:
&
&
mut
isize
)
{
let
t1
=
t0
;
...
...
src/test/compile-fail/borrowck-move-mut-base-ptr.rs
浏览文件 @
f051e132
...
...
@@ -11,7 +11,7 @@
// Test that attempt to move `&mut` pointer while pointee is borrowed
// yields an error.
//
// Example from src/
middle/borrowck/doc.rs
// Example from src/
librustc_borrowck/borrowck/README.md
fn
foo
(
t0
:
&
mut
isize
)
{
let
p
:
&
isize
=
&*
t0
;
// Freezes `*t0`
...
...
src/test/compile-fail/borrowck-mut-borrow-of-mut-base-ptr.rs
浏览文件 @
f051e132
...
...
@@ -11,7 +11,7 @@
// Test that attempt to mutably borrow `&mut` pointer while pointee is
// borrowed yields an error.
//
// Example from src/
middle/borrowck/doc.rs
// Example from src/
librustc_borrowck/borrowck/README.md
fn
foo
<
'a
>
(
mut
t0
:
&
'a
mut
isize
,
mut
t1
:
&
'a
mut
isize
)
{
...
...
src/test/compile-fail/borrowck-swap-mut-base-ptr.rs
浏览文件 @
f051e132
...
...
@@ -11,7 +11,7 @@
// Test that attempt to swap `&mut` pointer while pointee is borrowed
// yields an error.
//
// Example from src/
middle/borrowck/doc.rs
// Example from src/
librustc_borrowck/borrowck/README.md
use
std
::
mem
::
swap
;
...
...
src/test/run-pass/borrowck-borrow-of-mut-base-ptr-safe.rs
浏览文件 @
f051e132
...
...
@@ -11,7 +11,7 @@
// Test that freezing an `&mut` pointer while referent is
// frozen is legal.
//
// Example from src/
middle/borrowck/doc.rs
// Example from src/
librustc_borrowck/borrowck/README.md
fn
foo
<
'a
>
(
mut
t0
:
&
'a
mut
int
,
mut
t1
:
&
'a
mut
int
)
{
...
...
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录