Skip to content

Commit 33ecf72

Browse files
eddybeddyb
committed
rustc: move the PolyFnSig out of TyFnDef.
1 parent 8e53a03 commit 33ecf72

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

61 files changed

+427
-354
lines changed

‎src/librustc/ich/impls_ty.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -524,10 +524,9 @@ for ty::TypeVariants<'tcx>
524524
region.hash_stable(hcx, hasher);
525525
pointee_ty.hash_stable(hcx, hasher);
526526
}
527-
TyFnDef(def_id, substs, ref sig) => {
527+
TyFnDef(def_id, substs) => {
528528
def_id.hash_stable(hcx, hasher);
529529
substs.hash_stable(hcx, hasher);
530-
sig.hash_stable(hcx, hasher);
531530
}
532531
TyFnPtr(ref sig) => {
533532
sig.hash_stable(hcx, hasher);

‎src/librustc/middle/effect.rs

Lines changed: 13 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@
1212
//! `unsafe`.
1313
use self::RootUnsafeContext::*;
1414

15-
use ty::{self, Ty, TyCtxt};
15+
use ty::{self, TyCtxt};
1616
use lint;
1717

1818
use syntax::ast;
@@ -40,14 +40,6 @@ enum RootUnsafeContext {
4040
UnsafeBlock(ast::NodeId),
4141
}
4242

43-
fn type_is_unsafe_function(ty: Ty) -> bool {
44-
match ty.sty {
45-
ty::TyFnDef(.., f) |
46-
ty::TyFnPtr(f) => f.unsafety() == hir::Unsafety::Unsafe,
47-
_ => false,
48-
}
49-
}
50-
5143
struct EffectCheckVisitor<'a, 'tcx: 'a> {
5244
tcx: TyCtxt<'a, 'tcx, 'tcx>,
5345
tables: &'a ty::TypeckTables<'tcx>,
@@ -174,10 +166,11 @@ impl<'a, 'tcx> Visitor<'tcx> for EffectCheckVisitor<'a, 'tcx> {
174166
match expr.node {
175167
hir::ExprMethodCall(..) => {
176168
let def_id = self.tables.type_dependent_defs[&expr.id].def_id();
177-
let base_type = self.tcx.type_of(def_id);
178-
debug!("effect: method call case, base type is {:?}",
179-
base_type);
180-
if type_is_unsafe_function(base_type) {
169+
let sig = self.tcx.fn_sig(def_id);
170+
debug!("effect: method call case, signature is {:?}",
171+
sig);
172+
173+
if sig.0.unsafety == hir::Unsafety::Unsafe {
181174
self.require_unsafe(expr.span,
182175
"invocation of unsafe method")
183176
}
@@ -186,8 +179,13 @@ impl<'a, 'tcx> Visitor<'tcx> for EffectCheckVisitor<'a, 'tcx> {
186179
let base_type = self.tables.expr_ty_adjusted(base);
187180
debug!("effect: call case, base type is {:?}",
188181
base_type);
189-
if type_is_unsafe_function(base_type) {
190-
self.require_unsafe(expr.span, "call to unsafe function")
182+
match base_type.sty {
183+
ty::TyFnDef(..) | ty::TyFnPtr(_) => {
184+
if base_type.fn_sig(self.tcx).unsafety() == hir::Unsafety::Unsafe {
185+
self.require_unsafe(expr.span, "call to unsafe function")
186+
}
187+
}
188+
_ => {}
191189
}
192190
}
193191
hir::ExprUnary(hir::UnDeref, ref base) => {

‎src/librustc/middle/intrinsicck.rs

Lines changed: 8 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -66,11 +66,8 @@ fn unpack_option_like<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
6666

6767
impl<'a, 'tcx> ExprVisitor<'a, 'tcx> {
6868
fn def_id_is_transmute(&self, def_id: DefId) -> bool {
69-
let intrinsic = match self.tcx.type_of(def_id).sty {
70-
ty::TyFnDef(.., bfty) => bfty.abi() == RustIntrinsic,
71-
_ => return false
72-
};
73-
intrinsic && self.tcx.item_name(def_id) == "transmute"
69+
self.tcx.fn_sig(def_id).abi() == RustIntrinsic &&
70+
self.tcx.item_name(def_id) == "transmute"
7471
}
7572

7673
fn check_transmute(&self, span: Span, from: Ty<'tcx>, to: Ty<'tcx>) {
@@ -153,22 +150,14 @@ impl<'a, 'tcx> Visitor<'tcx> for ExprVisitor<'a, 'tcx> {
153150
} else {
154151
Def::Err
155152
};
156-
match def {
157-
Def::Fn(did) if self.def_id_is_transmute(did) => {
153+
if let Def::Fn(did) = def {
154+
if self.def_id_is_transmute(did) {
158155
let typ = self.tables.node_id_to_type(expr.id);
159-
let typ = self.tcx.lift_to_global(&typ).unwrap();
160-
match typ.sty {
161-
ty::TyFnDef(.., sig) if sig.abi() == RustIntrinsic => {
162-
let from = sig.inputs().skip_binder()[0];
163-
let to = *sig.output().skip_binder();
164-
self.check_transmute(expr.span, from, to);
165-
}
166-
_ => {
167-
span_bug!(expr.span, "transmute wasn't a bare fn?!");
168-
}
169-
}
156+
let sig = typ.fn_sig(self.tcx);
157+
let from = sig.inputs().skip_binder()[0];
158+
let to = *sig.output().skip_binder();
159+
self.check_transmute(expr.span, from, to);
170160
}
171-
_ => {}
172161
}
173162

174163
intravisit::walk_expr(self, expr);

‎src/librustc/traits/object_safety.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -260,7 +260,7 @@ impl<'a, 'gcx, 'tcx> TyCtxt<'a, 'gcx, 'tcx> {
260260

261261
// The `Self` type is erased, so it should not appear in list of
262262
// arguments or return type apart from the receiver.
263-
let ref sig = self.type_of(method.def_id).fn_sig();
263+
let ref sig = self.fn_sig(method.def_id);
264264
for input_ty in &sig.skip_binder().inputs()[1..] {
265265
if self.contains_illegal_self_type_reference(trait_def_id, input_ty) {
266266
return Some(MethodViolationCode::ReferencesSelf);

‎src/librustc/traits/project.rs

Lines changed: 11 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1137,9 +1137,19 @@ fn confirm_fn_pointer_candidate<'cx, 'gcx, 'tcx>(
11371137
-> Progress<'tcx>
11381138
{
11391139
let fn_type = selcx.infcx().shallow_resolve(fn_pointer_vtable.fn_ty);
1140-
let sig = fn_type.fn_sig();
1140+
let sig = fn_type.fn_sig(selcx.tcx());
1141+
let Normalized {
1142+
value: sig,
1143+
obligations
1144+
} = normalize_with_depth(selcx,
1145+
obligation.param_env,
1146+
obligation.cause.clone(),
1147+
obligation.recursion_depth+1,
1148+
&sig);
1149+
11411150
confirm_callable_candidate(selcx, obligation, sig, util::TupleArgumentsFlag::Yes)
11421151
.with_addl_obligations(fn_pointer_vtable.nested)
1152+
.with_addl_obligations(obligations)
11431153
}
11441154

11451155
fn confirm_closure_candidate<'cx, 'gcx, 'tcx>(

‎src/librustc/traits/select.rs

Lines changed: 18 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -1404,19 +1404,15 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> {
14041404
}
14051405

14061406
// provide an impl, but only for suitable `fn` pointers
1407-
ty::TyFnDef(.., ty::Binder(ty::FnSig {
1408-
unsafety: hir::Unsafety::Normal,
1409-
abi: Abi::Rust,
1410-
variadic: false,
1411-
..
1412-
})) |
1413-
ty::TyFnPtr(ty::Binder(ty::FnSig {
1414-
unsafety: hir::Unsafety::Normal,
1415-
abi: Abi::Rust,
1416-
variadic: false,
1417-
..
1418-
})) => {
1419-
candidates.vec.push(FnPointerCandidate);
1407+
ty::TyFnDef(..) | ty::TyFnPtr(_) => {
1408+
if let ty::Binder(ty::FnSig {
1409+
unsafety: hir::Unsafety::Normal,
1410+
abi: Abi::Rust,
1411+
variadic: false,
1412+
..
1413+
}) = self_ty.fn_sig(self.tcx()) {
1414+
candidates.vec.push(FnPointerCandidate);
1415+
}
14201416
}
14211417

14221418
_ => { }
@@ -2348,19 +2344,26 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> {
23482344

23492345
// ok to skip binder; it is reintroduced below
23502346
let self_ty = self.infcx.shallow_resolve(*obligation.self_ty().skip_binder());
2351-
let sig = self_ty.fn_sig();
2347+
let sig = self_ty.fn_sig(self.tcx());
23522348
let trait_ref =
23532349
self.tcx().closure_trait_ref_and_return_type(obligation.predicate.def_id(),
23542350
self_ty,
23552351
sig,
23562352
util::TupleArgumentsFlag::Yes)
23572353
.map_bound(|(trait_ref, _)| trait_ref);
23582354

2355+
let Normalized { value: trait_ref, obligations } =
2356+
project::normalize_with_depth(self,
2357+
obligation.param_env,
2358+
obligation.cause.clone(),
2359+
obligation.recursion_depth + 1,
2360+
&trait_ref);
2361+
23592362
self.confirm_poly_trait_refs(obligation.cause.clone(),
23602363
obligation.param_env,
23612364
obligation.predicate.to_poly_trait_ref(),
23622365
trait_ref)?;
2363-
Ok(VtableFnPointerData { fn_ty: self_ty, nested: vec![] })
2366+
Ok(VtableFnPointerData { fn_ty: self_ty, nested: obligations })
23642367
}
23652368

23662369
fn confirm_closure_candidate(&mut self,

‎src/librustc/ty/context.rs

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1378,9 +1378,8 @@ impl<'a, 'gcx, 'tcx> TyCtxt<'a, 'gcx, 'tcx> {
13781378
}
13791379

13801380
pub fn mk_fn_def(self, def_id: DefId,
1381-
substs: &'tcx Substs<'tcx>,
1382-
fty: PolyFnSig<'tcx>) -> Ty<'tcx> {
1383-
self.mk_ty(TyFnDef(def_id, substs, fty))
1381+
substs: &'tcx Substs<'tcx>) -> Ty<'tcx> {
1382+
self.mk_ty(TyFnDef(def_id, substs))
13841383
}
13851384

13861385
pub fn mk_fn_ptr(self, fty: PolyFnSig<'tcx>) -> Ty<'tcx> {

‎src/librustc/ty/fast_reject.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -68,14 +68,15 @@ pub fn simplify_type<'a, 'gcx, 'tcx>(tcx: TyCtxt<'a, 'gcx, 'tcx>,
6868
// view of possibly unifying
6969
simplify_type(tcx, mt.ty, can_simplify_params)
7070
}
71+
ty::TyFnDef(def_id, _) |
7172
ty::TyClosure(def_id, _) => {
7273
Some(ClosureSimplifiedType(def_id))
7374
}
7475
ty::TyNever => Some(NeverSimplifiedType),
7576
ty::TyTuple(ref tys, _) => {
7677
Some(TupleSimplifiedType(tys.len()))
7778
}
78-
ty::TyFnDef(.., ref f) | ty::TyFnPtr(ref f) => {
79+
ty::TyFnPtr(ref f) => {
7980
Some(FunctionSimplifiedType(f.skip_binder().inputs().len()))
8081
}
8182
ty::TyProjection(_) | ty::TyParam(_) => {

‎src/librustc/ty/flags.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -155,9 +155,8 @@ impl FlagComputation {
155155
self.add_tys(&ts[..]);
156156
}
157157

158-
&ty::TyFnDef(_, substs, f) => {
158+
&ty::TyFnDef(_, substs) => {
159159
self.add_substs(substs);
160-
self.add_fn_sig(f);
161160
}
162161

163162
&ty::TyFnPtr(f) => {

‎src/librustc/ty/item_path.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -348,7 +348,7 @@ pub fn characteristic_def_id_of_type(ty: Ty) -> Option<DefId> {
348348
.filter_map(|ty| characteristic_def_id_of_type(ty))
349349
.next(),
350350

351-
ty::TyFnDef(def_id, ..) |
351+
ty::TyFnDef(def_id, _) |
352352
ty::TyClosure(def_id, _) => Some(def_id),
353353

354354
ty::TyBool |

‎src/librustc/ty/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -206,7 +206,7 @@ impl AssociatedItem {
206206
// late-bound regions, and we don't want method signatures to show up
207207
// `as for<'r> fn(&'r MyType)`. Pretty-printing handles late-bound
208208
// regions just fine, showing `fn(&MyType)`.
209-
format!("{}", tcx.type_of(self.def_id).fn_sig().skip_binder())
209+
format!("{}", tcx.fn_sig(self.def_id).skip_binder())
210210
}
211211
ty::AssociatedKind::Type => format!("type {};", self.name.to_string()),
212212
ty::AssociatedKind::Const => {

‎src/librustc/ty/relate.rs

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -440,13 +440,11 @@ pub fn super_relate_tys<'a, 'gcx, 'tcx, R>(relation: &mut R,
440440
}
441441
}
442442

443-
(&ty::TyFnDef(a_def_id, a_substs, a_fty),
444-
&ty::TyFnDef(b_def_id, b_substs, b_fty))
443+
(&ty::TyFnDef(a_def_id, a_substs), &ty::TyFnDef(b_def_id, b_substs))
445444
if a_def_id == b_def_id =>
446445
{
447446
let substs = relate_substs(relation, None, a_substs, b_substs)?;
448-
let fty = relation.relate(&a_fty, &b_fty)?;
449-
Ok(tcx.mk_fn_def(a_def_id, substs, fty))
447+
Ok(tcx.mk_fn_def(a_def_id, substs))
450448
}
451449

452450
(&ty::TyFnPtr(a_fty), &ty::TyFnPtr(b_fty)) =>

‎src/librustc/ty/structural_impls.rs

Lines changed: 3 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -531,10 +531,8 @@ impl<'tcx> TypeFoldable<'tcx> for Ty<'tcx> {
531531
ty::TyDynamic(ref trait_ty, ref region) =>
532532
ty::TyDynamic(trait_ty.fold_with(folder), region.fold_with(folder)),
533533
ty::TyTuple(ts, defaulted) => ty::TyTuple(ts.fold_with(folder), defaulted),
534-
ty::TyFnDef(def_id, substs, f) => {
535-
ty::TyFnDef(def_id,
536-
substs.fold_with(folder),
537-
f.fold_with(folder))
534+
ty::TyFnDef(def_id, substs) => {
535+
ty::TyFnDef(def_id, substs.fold_with(folder))
538536
}
539537
ty::TyFnPtr(f) => ty::TyFnPtr(f.fold_with(folder)),
540538
ty::TyRef(ref r, tm) => {
@@ -568,9 +566,7 @@ impl<'tcx> TypeFoldable<'tcx> for Ty<'tcx> {
568566
ty::TyDynamic(ref trait_ty, ref reg) =>
569567
trait_ty.visit_with(visitor) || reg.visit_with(visitor),
570568
ty::TyTuple(ts, _) => ts.visit_with(visitor),
571-
ty::TyFnDef(_, substs, ref f) => {
572-
substs.visit_with(visitor) || f.visit_with(visitor)
573-
}
569+
ty::TyFnDef(_, substs) => substs.visit_with(visitor),
574570
ty::TyFnPtr(ref f) => f.visit_with(visitor),
575571
ty::TyRef(r, ref tm) => r.visit_with(visitor) || tm.visit_with(visitor),
576572
ty::TyClosure(_did, ref substs) => substs.visit_with(visitor),

‎src/librustc/ty/sty.rs

Lines changed: 7 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ use hir::def_id::DefId;
1414
use hir::map::DefPathHash;
1515

1616
use middle::region;
17-
use ty::subst::Substs;
17+
use ty::subst::{Substs, Subst};
1818
use ty::{self, AdtDef, TypeFlags, Ty, TyCtxt, TypeFoldable};
1919
use ty::{Slice, TyS};
2020
use ty::subst::Kind;
@@ -138,7 +138,7 @@ pub enum TypeVariants<'tcx> {
138138

139139
/// The anonymous type of a function declaration/definition. Each
140140
/// function has a unique type.
141-
TyFnDef(DefId, &'tcx Substs<'tcx>, PolyFnSig<'tcx>),
141+
TyFnDef(DefId, &'tcx Substs<'tcx>),
142142

143143
/// A pointer to a function. Written as `fn() -> i32`.
144144
TyFnPtr(PolyFnSig<'tcx>),
@@ -1329,9 +1329,12 @@ impl<'a, 'gcx, 'tcx> TyS<'tcx> {
13291329
}
13301330
}
13311331

1332-
pub fn fn_sig(&self) -> PolyFnSig<'tcx> {
1332+
pub fn fn_sig(&self, tcx: TyCtxt<'a, 'gcx, 'tcx>) -> PolyFnSig<'tcx> {
13331333
match self.sty {
1334-
TyFnDef(.., f) | TyFnPtr(f) => f,
1334+
TyFnDef(def_id, substs) => {
1335+
tcx.fn_sig(def_id).subst(tcx, substs)
1336+
}
1337+
TyFnPtr(f) => f,
13351338
_ => bug!("Ty::fn_sig() called on non-fn type: {:?}", self)
13361339
}
13371340
}

‎src/librustc/ty/util.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -679,7 +679,7 @@ impl<'a, 'gcx, 'tcx, W> TypeVisitor<'tcx> for TypeIdHasher<'a, 'gcx, 'tcx, W>
679679
TyRef(_, m) => self.hash(m.mutbl),
680680
TyClosure(def_id, _) |
681681
TyAnon(def_id, _) |
682-
TyFnDef(def_id, ..) => self.def_id(def_id),
682+
TyFnDef(def_id, _) => self.def_id(def_id),
683683
TyAdt(d, _) => self.def_id(d.did),
684684
TyFnPtr(f) => {
685685
self.hash(f.unsafety());

‎src/librustc/ty/walk.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -115,9 +115,8 @@ fn push_subtypes<'tcx>(stack: &mut TypeWalkerStack<'tcx>, parent_ty: Ty<'tcx>) {
115115
ty::TyTuple(ts, _) => {
116116
stack.extend(ts.iter().cloned().rev());
117117
}
118-
ty::TyFnDef(_, substs, ft) => {
118+
ty::TyFnDef(_, substs) => {
119119
stack.extend(substs.types().rev());
120-
push_sig_subtypes(stack, ft);
121120
}
122121
ty::TyFnPtr(ft) => {
123122
push_sig_subtypes(stack, ft);

‎src/librustc/util/ppaux.rs

Lines changed: 8 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -753,8 +753,14 @@ impl<'tcx> fmt::Display for ty::TypeVariants<'tcx> {
753753
}
754754
write!(f, ")")
755755
}
756-
TyFnDef(def_id, substs, ref bare_fn) => {
757-
write!(f, "{} {{", bare_fn.0)?;
756+
TyFnDef(def_id, substs) => {
757+
ty::tls::with(|tcx| {
758+
let mut sig = tcx.fn_sig(def_id);
759+
if let Some(substs) = tcx.lift(&substs) {
760+
sig = sig.subst(tcx, substs);
761+
}
762+
write!(f, "{} {{", sig.0)
763+
})?;
758764
parameterized(f, substs, def_id, &[])?;
759765
write!(f, "}}")
760766
}

‎src/librustc_borrowck/borrowck/mir/dataflow/sanity_check.rs

Lines changed: 6 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -161,18 +161,13 @@ fn is_rustc_peek<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
161161
terminator: &'a Option<mir::Terminator<'tcx>>)
162162
-> Option<(&'a [mir::Operand<'tcx>], Span)> {
163163
if let Some(mir::Terminator { ref kind, source_info, .. }) = *terminator {
164-
if let mir::TerminatorKind::Call { func: ref oper, ref args, .. } = *kind
165-
{
166-
if let mir::Operand::Constant(ref func) = *oper
167-
{
168-
if let ty::TyFnDef(def_id, _, sig) = func.ty.sty
169-
{
170-
let abi = sig.abi();
164+
if let mir::TerminatorKind::Call { func: ref oper, ref args, .. } = *kind {
165+
if let mir::Operand::Constant(ref func) = *oper {
166+
if let ty::TyFnDef(def_id, _) = func.ty.sty {
167+
let abi = tcx.fn_sig(def_id).abi();
171168
let name = tcx.item_name(def_id);
172-
if abi == Abi::RustIntrinsic || abi == Abi::PlatformIntrinsic {
173-
if name == "rustc_peek" {
174-
return Some((args, source_info.span));
175-
}
169+
if abi == Abi::RustIntrinsic && name == "rustc_peek" {
170+
return Some((args, source_info.span));
176171
}
177172
}
178173
}

0 commit comments

Comments
 (0)