rust-lang/rust
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

Comments only: annotate FIXMEs in typeck::infer

Browse Source
This commit is contained in:
Tim Chevalier
2012-06-14 12:10:48 -07:00
parent 699b14b99d
commit 24f9f45ac6
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/rustc/middle/typeck/infer.rs
View File

@@ -329,7 +329,7 @@ fn can_mk_assignty(cx: infer_ctxt, anmnt: assignment,
// FIXME---this will not unroll any entries we make in the // FIXME---this will not unroll any entries we make in the
// borrowings table. But this is OK for the moment because this // borrowings table. But this is OK for the moment because this
// is only used in method lookup, and there must be exactly one // is only used in method lookup, and there must be exactly one
// match or an error is reported. Still, it should be fixed. // match or an error is reported. Still, it should be fixed. (#2593)
indent {|| cx.probe {|| indent {|| cx.probe {||
cx.assign_tys(anmnt, a, b) cx.assign_tys(anmnt, a, b)
@@ -1501,6 +1501,7 @@ fn super_fns<C:combine>(
self.purities(a_f.purity, b_f.purity).chain {|purity| self.purities(a_f.purity, b_f.purity).chain {|purity|
//FIXME self.infcx().constrvecs(a_f.constraints, //FIXME self.infcx().constrvecs(a_f.constraints,
//FIXME b_f.constraints).then {|| //FIXME b_f.constraints).then {||
// (Fix this if #2588 doesn't get accepted)
ok({purity: purity, ok({purity: purity,
proto: p, proto: p,
inputs: inputs, inputs: inputs,