1
Fork 0

Insert FIXME links to issue #19925: fn item types should be zero-sized.

This commit is contained in:
Niko Matsakis 2014-11-26 06:01:45 -05:00
parent fad1423d1e
commit 39be95c16b
3 changed files with 10 additions and 1 deletions

View file

@ -204,6 +204,10 @@ pub fn const_expr<'a, 'tcx>(cx: &CrateContext<'a, 'tcx>, e: &ast::Expr)
format!("unexpected static function: {}",
store).as_slice())
}
ty::AdjustReifyFnPointer(_def_id) => {
// FIXME(#19925) once fn item types are
// zero-sized, we'll need to do something here
}
ty::AdjustDerefRef(ref adj) => {
let mut ty = ety;
// Save the last autoderef in case we can avoid it.

View file

@ -180,6 +180,9 @@ fn apply_adjustments<'blk, 'tcx>(bcx: Block<'blk, 'tcx>,
AdjustAddEnv(def_id, _) => {
datum = unpack_datum!(bcx, add_env(bcx, def_id, expr, datum));
}
AdjustReifyFnPointer(_def_id) => {
// FIXME(#19925) once fn item types are
// zero-sized, we'll need to do something here
}
AdjustDerefRef(ref adj) => {
let (autoderefs, use_autoref) = match adj.autoref {

View file

@ -150,7 +150,9 @@ pub fn type_of_fn_from_ty<'a, 'tcx>(cx: &CrateContext<'a, 'tcx>, fty: Ty<'tcx>)
f.sig.0.output,
f.abi)
}
ty::ty_bare_fn(ref f) => {
ty::ty_bare_fn(_, ref f) => {
// FIXME(#19925) once fn item types are
// zero-sized, we'll need to do something here
if f.abi == abi::Rust || f.abi == abi::RustCall {
type_of_rust_fn(cx,
None,