s/SuperCallArgs/SuperArgs/

Applies a minor renaming that I failed to thoroughly perform
in the last pull request which refactored parent types.
prevents spurious kind bound errors

The patch adds a check which makes sure that the trees we're about to
report aren't already erroneous.
Fixes SI-6758: force LazyAnnnotationInfo for DefDef and TypeDef

Looks like the change in 25ecde037f22ff no longer forced
lazy annotations for some of the cases.
Also removed forcing for PackageDef annotations as we currently
don't support them.
Extract base scaladoc functionality for the IDE.
Recurse into instantiations when stripping type vars.

This led to the inference of weird types as list
of lub base types was empty.
This change fixes case x3 in the test case.
simplifies checkBounds

This patch is an isomorphic transformation of checkBounds, which avoids
doing any checks altogether if the scrutinee is already erroneous.

Inspection of checkKindBounds and isWithinBounds called from checkBounds
suggests that they don't perform side effects which can't be omitted.
Merge pull request #1722 from vigdorchik/ide.api

Extract base scaladoc functionality for the IDE.
Merge pull request #1747 from hubertp/2.10.x-issue/6758

Fixes SI-6758: force LazyAnnnotationInfo for DefDef and TypeDef
Merge pull request #1758 from hubertp/2.10.x-issue/strip-tvars

When we strip tvars we should also recursively strip their instantiation...
Merge pull request #1742 from scalamacros/ticket/4044

prevents spurious kind bound errors
Merge pull request #1740 from scalamacros/topic/super-call-args

s/SuperCallArgs/SuperArgs/
SI-6685 fixes error handling in typedApply

When MissingClassTagError doesn't lead to an exception, but rather
silently sets an error, we need to bubble the resulting erroneous tree
up the responsibility chain instead of mindlessly typechecking this again.

This wasn't an issue before, because as far as I can guess the
aforementioned error setter was always throwing exceptions in the most
common usage scenarios (therefore the typecheck-again-fail-again
vicious loop wasn't triggered).
Test case for SI-6591
Attempt to fix

BUILD FAILED
Test suite finished with 18 cases failing:
/opt/git-repos/scala/test/files/run/showraw_tree_ultimate.scala [FAILED]
/opt/git-repos/scala/test/files/run/t5225_2.scala [FAILED]
/opt/git-repos/scala/test/files/run/showraw_tree_types_typed.scala [FAILED]
/opt/git-repos/scala/test/files/run/reify_csv.scala [FAILED]
/opt/git-repos/scala/test/files/run/t6223.scala [FAILED]
/opt/git-repos/scala/test/files/run/showraw_tree_kinds.scala [FAILED]
/opt/git-repos/scala/test/files/run/showraw_tree_ids.scala [FAILED]
/opt/git-repos/scala/test/files/run/freetypes_false_alarm1.scala [FAILED]
/opt/git-repos/scala/test/files/run/reify_ann2a.scala [FAILED]
/opt/git-repos/scala/test/files/run/showraw_tree_types_ids.scala [FAILED]
/opt/git-repos/scala/test/files/run/showraw_tree_types_untyped.scala [FAILED]
/opt/git-repos/scala/test/files/run/reify_newimpl_15.scala [FAILED]
/opt/git-repos/scala/test/files/run/reify_newimpl_30.scala [FAILED]
/opt/git-repos/scala/test/files/run/t2886.scala [FAILED]
/opt/git-repos/scala/test/files/run/reify_newimpl_29.scala [FAILED]
/opt/git-repos/scala/test/files/run/showraw_tree.scala [FAILED]
/opt/git-repos/scala/test/files/instrumented/inline-in-constructors [FAILED]
/opt/git-repos/scala/test/files/instrumented/InstrumentationTest.scala [FAILED]
Refine test for SI-6591
Final solution
Cleanup
Add meaningful names in test
Don't reify packages as Select
Fix for reify_newimpl_15,27,29