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.
12 use check
::{coercion, FnCtxt}
;
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
23 pub fn suptype
<'a
, 'tcx
>(fcx
: &FnCtxt
<'a
, 'tcx
>, sp
: Span
,
24 ty_expected
: Ty
<'tcx
>, ty_actual
: Ty
<'tcx
>) {
25 suptype_with_fn(fcx
, sp
, false, ty_expected
, ty_actual
,
26 |sp
, e
, a
, s
| { fcx.report_mismatched_types(sp, e, a, s) }
)
29 /// As `suptype`, but call `handle_err` if unification for subtyping fails.
30 pub fn suptype_with_fn
<'a
, 'tcx
, F
>(fcx
: &FnCtxt
<'a
, 'tcx
>,
36 F
: FnOnce(Span
, Ty
<'tcx
>, Ty
<'tcx
>, &ty
::type_err
<'tcx
>),
38 // n.b.: order of actual, expected is reversed
39 match infer
::mk_subty(fcx
.infcx(), b_is_expected
, infer
::Misc(sp
),
41 Ok(()) => { /* ok */ }
43 handle_err(sp
, ty_a
, ty_b
, err
);
48 pub fn eqtype
<'a
, 'tcx
>(fcx
: &FnCtxt
<'a
, 'tcx
>, sp
: Span
,
49 expected
: Ty
<'tcx
>, actual
: Ty
<'tcx
>) {
50 match infer
::mk_eqty(fcx
.infcx(), false, infer
::Misc(sp
), actual
, expected
) {
51 Ok(()) => { /* ok */ }
52 Err(ref err
) => { fcx.report_mismatched_types(sp, expected, actual, err); }
56 // Checks that the type of `expr` can be coerced to `expected`.
57 pub fn coerce
<'a
, 'tcx
>(fcx
: &FnCtxt
<'a
, 'tcx
>,
61 let expr_ty
= fcx
.expr_ty(expr
);
62 debug
!("demand::coerce(expected = {}, expr_ty = {})",
63 expected
.repr(fcx
.ccx
.tcx
),
64 expr_ty
.repr(fcx
.ccx
.tcx
));
65 let expr_ty
= fcx
.resolve_type_vars_if_possible(expr_ty
);
66 let expected
= fcx
.resolve_type_vars_if_possible(expected
);
67 match coercion
::mk_assignty(fcx
, expr
, expr_ty
, expected
) {
68 Ok(()) => { /* ok */ }
70 fcx
.report_mismatched_types(sp
, expected
, expr_ty
, err
);