More tests
Reporter refactoring

Refactored reporters to increase clarity and to pave the way for having Diagnostics subclasses.
Pos tests t17xx - t19xx
Fix of SI 2133

We now restrict wildcard imports to members that are accessible at the point of import. This is a fix of an open Scala ticket.
Tests pos 20xx 21xx
More systematic treatment of prototypes.

There's a delicate balance about how much of a prototype should be passed down the
tree when typechecking. Passing little can cause ambiguity errors (both in overloading
and in implicit search). Passing too much can cause spurious errors because implicit conversions
"down the road" that apply to some tree continaing the result might not be considered.

Symptoms of the problems wree that we could not handle the tests included in this commit before.

The new scheme is as follows: we always keep all available information in a prototype, but hide nested
prototypes behined a `IgnoredProto` wall. These trees will not be considered for conformity checking.
When type checking hits an ambiguity, it tries again with a prototype that's one level deeper (has fewer
Ignore links) than the previous one. This continues until there are no more Ignore links to unwrap.

We also generalize the scheme for wrapping qualifiers of select nodes from realApply to all instances where
we compare against a FunProto.

Finally, there are some fixes that avoid assertion violations that were provoked by the new typechecking scheme.
Better printing of anonymous classes.

Used to be just $anon, now is `Ps { ... }`, where `Ps` are
the instantiated parents of the anonymous class.
Avoid hoisting of local classes out of method bodies.

Doing so is unsound. We instead approximate local classes by their parents, but
only if the expected type is not fully defined.

This makes the test t2421_delitedsl1.scala in the commit pass. The oter test,
blockEscapesNeg.scala is modified to fail. Previously it failed outright but with the
new rules the nested class Bar is approximated to Object. That means that the block
containing `Foo.Bar` typechecks, but with type `Object` instead of the unreachable `Bar`.
Tests pos/23xx to 24xx.
Nothing is not a superclass of Null.

Fix so it isn't.

This caused an error in ErrorReporting because we do not propagate
bounds into a type like ValOrDefDef[_]. Error in `ErrorReporting` is now fixed but the problem is
reflected in test case `boundspropagation`.
Changed .gitignore to ignore /classes instead of /bin.

bin as output directory clashes with bin/dotc.

Btw I have no idea why I cannot ignore .gitignore. I have .gitignore in my .gitignore_global
and have configured git to respect that, but no cigar.
Fix of pos/t2429

This was a hard nut to crack. The problem exemplified by t2429 is that in a situation like

     val x: T = foo(...)

where `foo` needs implicit parameters the expected result type `T` is propagated into the
typechecking of foo(...) and consequently also into the implicit parameter search. This
is often necessary, for instance to instantiate type parameters. But it can lead to overconstrained
searches if in fact the right expansion is

     val x: T = viewToT(foo(...)(implicit params))

where `viewToT` is some implicit conversion. The fix handles that case by re-hecking the
application foo(...) with an empty result type, if the implicit parameter search fails.
But the re-checking is very subtle as is explained in the comment to `TyperState#tryWithFallback`.
Make java file compile under 1.6.

I still have 1.6 installed. So the two simple fixes are necessary to make my build pass for now.
remove test t1591b because it depends on scalac 2 source
reduce test verbosity to get below 10K lines of test output

becaus this is the limit imposed by Travis
Merge pull request #133 from dotty-staging/more-tests

More tests