TMP: inference can go wrong
TMP: don't synth sam after typers

still failing:
  /Users/adriaan/git/scala/test/files/pos/annotated-treecopy \
  /Users/adriaan/git/scala/test/files/pos/depmet_implicit_norm_ret.scala \
  /Users/adriaan/git/scala/test/files/pos/depmet_implicit_oopsla_session.scala \
  /Users/adriaan/git/scala/test/files/pos/depmet_implicit_oopsla_session_2.scala \
  /Users/adriaan/git/scala/test/files/pos/depmet_implicit_oopsla_session_simpler.scala \
  /Users/adriaan/git/scala/test/files/pos/implicits-new.scala \
  /Users/adriaan/git/scala/test/files/pos/implicits-old.scala \
  /Users/adriaan/git/scala/test/files/pos/liftcode_polymorphic.scala \
  /Users/adriaan/git/scala/test/files/pos/nonlocal-unchecked.scala \
  /Users/adriaan/git/scala/test/files/pos/patmat.scala \
  /Users/adriaan/git/scala/test/files/pos/patterns.scala \
  /Users/adriaan/git/scala/test/files/pos/spec-traits.scala \
  /Users/adriaan/git/scala/test/files/pos/t0082.scala \
  /Users/adriaan/git/scala/test/files/pos/t0273.scala \
  /Users/adriaan/git/scala/test/files/pos/t0438.scala \
  /Users/adriaan/git/scala/test/files/pos/t0770.scala \
  /Users/adriaan/git/scala/test/files/pos/t0851.scala \
  /Users/adriaan/git/scala/test/files/pos/t0872.scala \
  /Users/adriaan/git/scala/test/files/pos/t1146.scala \
  /Users/adriaan/git/scala/test/files/pos/t115.scala \
  /Users/adriaan/git/scala/test/files/pos/t1185.scala \
  /Users/adriaan/git/scala/test/files/pos/t1565.scala \
  /Users/adriaan/git/scala/test/files/pos/t1957.scala \
  /Users/adriaan/git/scala/test/files/pos/t2127.scala \
  /Users/adriaan/git/scala/test/files/pos/t2179.scala \
  /Users/adriaan/git/scala/test/files/pos/t2421_delitedsl.scala \
  /Users/adriaan/git/scala/test/files/pos/t2444.scala \
  /Users/adriaan/git/scala/test/files/pos/t2913.scala \
  /Users/adriaan/git/scala/test/files/pos/t3177.scala \
  /Users/adriaan/git/scala/test/files/pos/t3672.scala \
  /Users/adriaan/git/scala/test/files/pos/t3688.scala \
  /Users/adriaan/git/scala/test/files/pos/t3864 \
  /Users/adriaan/git/scala/test/files/pos/t4176b.scala \
  /Users/adriaan/git/scala/test/files/pos/t4202.scala \
  /Users/adriaan/git/scala/test/files/pos/t4257.scala \
  /Users/adriaan/git/scala/test/files/pos/t4363.scala \
  /Users/adriaan/git/scala/test/files/pos/t5137.scala \
  /Users/adriaan/git/scala/test/files/pos/t531.scala \
  /Users/adriaan/git/scala/test/files/pos/t532.scala \
  /Users/adriaan/git/scala/test/files/pos/t5727.scala \
  /Users/adriaan/git/scala/test/files/pos/t6028 \
  /Users/adriaan/git/scala/test/files/pos/t6221.scala \
  /Users/adriaan/git/scala/test/files/pos/t6274.scala \
  /Users/adriaan/git/scala/test/files/pos/t6358.scala \
  /Users/adriaan/git/scala/test/files/pos/t6562.scala \
  /Users/adriaan/git/scala/test/files/pos/t6575b.scala \
  /Users/adriaan/git/scala/test/files/pos/t6891.scala \
  /Users/adriaan/git/scala/test/files/pos/t7011.scala \
  /Users/adriaan/git/scala/test/files/pos/t7233.scala \
  /Users/adriaan/git/scala/test/files/pos/t7239.scala \
  /Users/adriaan/git/scala/test/files/pos/t7285a.scala \
  /Users/adriaan/git/scala/test/files/pos/t7433.scala \
  /Users/adriaan/git/scala/test/files/pos/t7584.scala \
  /Users/adriaan/git/scala/test/files/pos/t803.scala \
  /Users/adriaan/git/scala/test/files/pos/tcpoly_infer_ticket1864.scala \
  /Users/adriaan/git/scala/test/files/pos/tcpoly_overloaded.scala \
  /Users/adriaan/git/scala/test/files/pos/z1730.scala \
  /Users/adriaan/git/scala/test/files/neg/checksensible.scala \
  /Users/adriaan/git/scala/test/files/neg/implicits.scala \
  /Users/adriaan/git/scala/test/files/neg/names-defaults-neg.scala \
  /Users/adriaan/git/scala/test/files/neg/nonlocal-warning.scala \
  /Users/adriaan/git/scala/test/files/neg/scopes.scala \
  /Users/adriaan/git/scala/test/files/neg/stringinterpolation_macro-neg.scala \
  /Users/adriaan/git/scala/test/files/neg/t0015.scala \
  /Users/adriaan/git/scala/test/files/neg/t1112.scala \
  /Users/adriaan/git/scala/test/files/neg/t2180.scala \
  /Users/adriaan/git/scala/test/files/neg/t278.scala \
  /Users/adriaan/git/scala/test/files/neg/t4079 \
  /Users/adriaan/git/scala/test/files/neg/t4196.scala \
  /Users/adriaan/git/scala/test/files/neg/t4818.scala \
  /Users/adriaan/git/scala/test/files/neg/t556.scala \
  /Users/adriaan/git/scala/test/files/neg/t563.scala \
  /Users/adriaan/git/scala/test/files/neg/t5683.scala \
  /Users/adriaan/git/scala/test/files/neg/t608.scala \
  /Users/adriaan/git/scala/test/files/neg/t6214.scala \
  /Users/adriaan/git/scala/test/files/neg/t6231.scala \
  /Users/adriaan/git/scala/test/files/neg/t6260.scala \
  /Users/adriaan/git/scala/test/files/neg/t6359.scala \
  /Users/adriaan/git/scala/test/files/neg/t6526.scala \
  /Users/adriaan/git/scala/test/files/neg/t6558b.scala \
  /Users/adriaan/git/scala/test/files/neg/t6666.scala \
  /Users/adriaan/git/scala/test/files/neg/t6666c.scala \
  /Users/adriaan/git/scala/test/files/neg/t6758.scala \
  /Users/adriaan/git/scala/test/files/neg/t677.scala \
  /Users/adriaan/git/scala/test/files/neg/t7285.scala \
  /Users/adriaan/git/scala/test/files/neg/t752.scala \
  /Users/adriaan/git/scala/test/files/neg/type-diagnostics.scala \
  /Users/adriaan/git/scala/test/files/neg/valueclasses-impl-restrictions.scala \
  /Users/adriaan/git/scala/test/files/neg/volatile.scala \
  /Users/adriaan/git/scala/test/files/neg/warn-inferred-any.scala \
  /Users/adriaan/git/scala/test/files/run/Course-2002-02.scala \
  /Users/adriaan/git/scala/test/files/run/Course-2002-03.scala \
  /Users/adriaan/git/scala/test/files/run/Course-2002-05.scala \
  /Users/adriaan/git/scala/test/files/run/absoverride.scala \
  /Users/adriaan/git/scala/test/files/run/amp.scala \
  /Users/adriaan/git/scala/test/files/run/analyzerPlugins.scala \
  /Users/adriaan/git/scala/test/files/run/annotatedRetyping.scala \
  /Users/adriaan/git/scala/test/files/run/arrayview.scala \
  /Users/adriaan/git/scala/test/files/run/byname.scala \
  /Users/adriaan/git/scala/test/files/run/caseclasses.scala \
  /Users/adriaan/git/scala/test/files/run/colltest1.scala \
  /Users/adriaan/git/scala/test/files/run/compiler-asSeenFrom.scala \
  /Users/adriaan/git/scala/test/files/run/enrich-gentraversable.scala \
  /Users/adriaan/git/scala/test/files/run/existentials3-new.scala \
  /Users/adriaan/git/scala/test/files/run/existentials3-old.scala \
  /Users/adriaan/git/scala/test/files/run/getClassTest-new.scala \
  /Users/adriaan/git/scala/test/files/run/getClassTest-old.scala \
  /Users/adriaan/git/scala/test/files/run/global-showdef.scala \
  /Users/adriaan/git/scala/test/files/run/inner-obj-auto.scala \
  /Users/adriaan/git/scala/test/files/run/iterator-concat.scala \
  /Users/adriaan/git/scala/test/files/run/json.scala \
  /Users/adriaan/git/scala/test/files/run/kmpSliceSearch.scala \
  /Users/adriaan/git/scala/test/files/run/lift-and-unlift.scala \
  /Users/adriaan/git/scala/test/files/run/lists-run.scala \
  /Users/adriaan/git/scala/test/files/run/macro-range \
  /Users/adriaan/git/scala/test/files/run/mutable-treeset.scala \
  /Users/adriaan/git/scala/test/files/run/name-based-patmat.scala \
  /Users/adriaan/git/scala/test/files/run/names-defaults.scala \
  /Users/adriaan/git/scala/test/files/run/patmat-exprs.scala \
  /Users/adriaan/git/scala/test/files/run/patmat-seqs.scala \
  /Users/adriaan/git/scala/test/files/run/primitive-sigs-2-new.scala \
  /Users/adriaan/git/scala/test/files/run/primitive-sigs-2-old.scala \
  /Users/adriaan/git/scala/test/files/run/reflection-sorted-decls.scala \
  /Users/adriaan/git/scala/test/files/run/reflection-sorted-members.scala \
  /Users/adriaan/git/scala/test/files/run/reify-each-node-type.scala \
  /Users/adriaan/git/scala/test/files/run/reify_closure1.scala \
  /Users/adriaan/git/scala/test/files/run/reify_closure2a.scala \
  /Users/adriaan/git/scala/test/files/run/reify_closure3a.scala \
  /Users/adriaan/git/scala/test/files/run/reify_closure4a.scala \
  /Users/adriaan/git/scala/test/files/run/reify_closure5a.scala \
  /Users/adriaan/git/scala/test/files/run/reify_closure6.scala \
  /Users/adriaan/git/scala/test/files/run/reify_closure7.scala \
  /Users/adriaan/git/scala/test/files/run/reify_csv.scala \
  /Users/adriaan/git/scala/test/files/run/reify_fors_newpatmat.scala \
  /Users/adriaan/git/scala/test/files/run/reify_fors_oldpatmat.scala \
  /Users/adriaan/git/scala/test/files/run/reify_implicits-new.scala \
  /Users/adriaan/git/scala/test/files/run/reify_implicits-old.scala \
  /Users/adriaan/git/scala/test/files/run/reify_maps_newpatmat.scala \
  /Users/adriaan/git/scala/test/files/run/reify_maps_oldpatmat.scala \
  /Users/adriaan/git/scala/test/files/run/reify_properties.scala \
  /Users/adriaan/git/scala/test/files/run/repl-colon-type.scala \
  /Users/adriaan/git/scala/test/files/run/repl-parens.scala