1 // Copyright 2012 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
13 use middle::ty::{self, Ty};
16 use std::result::Result::{Err, Ok};
18 use syntax::codemap::Span;
19 use util::ppaux::Repr;
21 // Requires that the two types unify, and prints an error message if they
23 pub fn suptype<'a, 'tcx>(fcx: &FnCtxt<'a, 'tcx>, sp: Span,
24 expected: Ty<'tcx>, actual: Ty<'tcx>) {
25 suptype_with_fn(fcx, sp, false, expected, actual,
26 |sp, e, a, s| { fcx.report_mismatched_types(sp, e, a, s) })
29 pub fn suptype_with_fn<'a, 'tcx, F>(fcx: &FnCtxt<'a, 'tcx>,
35 F: FnOnce(Span, Ty<'tcx>, Ty<'tcx>, &ty::type_err<'tcx>),
37 // n.b.: order of actual, expected is reversed
38 match infer::mk_subty(fcx.infcx(), b_is_expected, infer::Misc(sp),
40 Ok(()) => { /* ok */ }
42 handle_err(sp, ty_a, ty_b, err);
47 pub fn eqtype<'a, 'tcx>(fcx: &FnCtxt<'a, 'tcx>, sp: Span,
48 expected: Ty<'tcx>, actual: Ty<'tcx>) {
49 match infer::mk_eqty(fcx.infcx(), false, infer::Misc(sp), actual, expected) {
50 Ok(()) => { /* ok */ }
52 fcx.report_mismatched_types(sp, expected, actual, err);
57 // Checks that the type `actual` can be coerced to `expected`.
58 pub fn coerce<'a, 'tcx>(fcx: &FnCtxt<'a, 'tcx>, sp: Span,
59 expected: Ty<'tcx>, expr: &ast::Expr) {
60 let expr_ty = fcx.expr_ty(expr);
61 debug!("demand::coerce(expected = {}, expr_ty = {})",
62 expected.repr(fcx.ccx.tcx),
63 expr_ty.repr(fcx.ccx.tcx));
64 let expected = fcx.infcx().resolve_type_vars_if_possible(&expected);
65 match fcx.mk_assignty(expr, expr_ty, expected) {
66 Ok(()) => { /* ok */ }
68 fcx.report_mismatched_types(sp, expected, expr_ty, err);