Resolver log for #361

################################ UNIT TESTS ################################
Running tests in 'C:\work\NRefactory\bin\Debug\ICSharpCode.NRefactory.Tests.dll'...
======================================================================
Starting new resolver for precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}
Resolved 'int' to [TypeResolveResult System.Int32]
Resolved 'Task<int>' to [TypeResolveResult System.Threading.Tasks.Task`1[[System.Int32]]]
Resolved 'Task<int> foo = null;
' to [ResolveResult System.Void]
Member reference 'foo.ContinueWith' on potentially-ambiguous simple-name was resolved to [MethodGroupResolveResult with 40 method(s)]
Resolved 'foo.ContinueWith' to [MethodGroupResolveResult with 40 method(s)]
Simple name 'foo' was resolved to [LocalResolveResult System.Threading.Tasks.Task`1[[System.Int32]] foo;]
Resolved 'foo' to [LocalResolveResult System.Threading.Tasks.Task`1[[System.Int32]] foo;]
Added undecided implicitly-typed lambda: precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}
Resolved 'precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}' to [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
Performing overload resolution for [MethodGroupResolveResult with 40 method(s)]
  Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task`1[[System.Int32]]) and return-type System.Void...
        Analyzing [LambdaTypeHypothesis (System.Threading.Tasks.Task`1[[System.Int32]] precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}]...
            Resolved 'precedent' to [LocalResolveResult precedent:System.Threading.Tasks.Task`1[[System.Int32]]]
            Member reference 'Console.WriteLine' on potentially-ambiguous simple-name was resolved to [UnknownMemberResolveResult ?.WriteLine]
            Resolved 'Console.WriteLine' to [UnknownMemberResolveResult ?.WriteLine]
            Simple name 'Console' was resolved to [UnknownIdentifierResolveResult Console]
            Resolved 'Console' to [UnknownIdentifierResolveResult Console]
            Simple name 'precedent' was resolved to [LocalResolveResult precedent:System.Threading.Tasks.Task`1[[System.Int32]]]
            Resolved 'precedent' to [LocalResolveResult precedent:System.Threading.Tasks.Task`1[[System.Int32]]]
            Resolved 'precedent.IsFaulted' to [MemberResolveResult [Property System.Threading.Tasks.Task.IsFaulted]]
            Resolved 'Console.WriteLine (precedent.IsFaulted)' to [UnknownMethodResolveResult ?.WriteLine]
            Resolved 'Console.WriteLine (precedent.IsFaulted);
' to [ResolveResult System.Void]
            Resolved '{
	Console.WriteLine (precedent.IsFaulted);
}' to [ResolveResult System.Void]
            GetBestCommonType() for <empty collection>
             Trying to fix !!0
              T was fixed (with errors) to ?
            Lambda return type was inferred to: ?
        Finished analyzing [LambdaTypeHypothesis (System.Threading.Tasks.Task`1[[System.Int32]] precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}]
    [LambdaTypeHypothesis (System.Threading.Tasks.Task`1[[System.Int32]] precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type System.Void
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith(continuationAction:System.Action`1[[System.Threading.Tasks.Task`1[[System.Int32]]]]):System.Threading.Tasks.Task] = ArgumentTypeMismatch (best candidate so far)
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task`1[[System.Int32]]) and return-type System.Void...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task`1[[System.Int32]] precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type System.Void
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith(continuationAction:System.Action`1[[System.Threading.Tasks.Task`1[[System.Int32]]]], cancellationToken:System.Threading.CancellationToken):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task`1[[System.Int32]]) and return-type System.Void...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task`1[[System.Int32]] precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type System.Void
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith(continuationAction:System.Action`1[[System.Threading.Tasks.Task`1[[System.Int32]]]], scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task`1[[System.Int32]]) and return-type System.Void...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task`1[[System.Int32]] precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type System.Void
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith(continuationAction:System.Action`1[[System.Threading.Tasks.Task`1[[System.Int32]]]], continuationOptions:System.Threading.Tasks.TaskContinuationOptions):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task`1[[System.Int32]]) and return-type System.Void...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task`1[[System.Int32]] precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type System.Void
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith(continuationAction:System.Action`1[[System.Threading.Tasks.Task`1[[System.Int32]]]], cancellationToken:System.Threading.CancellationToken, continuationOptions:System.Threading.Tasks.TaskContinuationOptions, scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith(continuationAction:System.Action`2[[System.Threading.Tasks.Task`1[[System.Int32]]],[System.Object]], state:System.Object):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith(continuationAction:System.Action`2[[System.Threading.Tasks.Task`1[[System.Int32]]],[System.Object]], state:System.Object, cancellationToken:System.Threading.CancellationToken):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith(continuationAction:System.Action`2[[System.Threading.Tasks.Task`1[[System.Int32]]],[System.Object]], state:System.Object, scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith(continuationAction:System.Action`2[[System.Threading.Tasks.Task`1[[System.Int32]]],[System.Object]], state:System.Object, continuationOptions:System.Threading.Tasks.TaskContinuationOptions):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith(continuationAction:System.Action`2[[System.Threading.Tasks.Task`1[[System.Int32]]],[System.Object]], state:System.Object, cancellationToken:System.Threading.CancellationToken, continuationOptions:System.Threading.Tasks.TaskContinuationOptions, scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TNewResult>(System.Func`2[[System.Threading.Tasks.Task`1[[`0]]],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`2[[System.Threading.Tasks.Task`1[[`0]]],[``0]]
         MakeLowerBoundInference from ? to ``0 (owner=[Method System.Threading.Tasks.Task`1.ContinueWith``1(continuationFunction:System.Func`2[[System.Threading.Tasks.Task`1[[`0]]],[``0]]):System.Threading.Tasks.Task`1[[``0]]])
          Add lower bound '?' to TNewResult
        Phase Two
         Trying to fix TNewResult
          T was fixed successfully to ?
      Type inference finished successfully: M<?>
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task`1[[System.Int32]]) and return-type ?...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task`1[[System.Int32]] precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type ?
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith[``0](continuationFunction:System.Func`2[[System.Threading.Tasks.Task`1[[System.Int32]]],[``0]]):System.Threading.Tasks.Task`1[[``0]]] = ConstructedTypeDoesNotSatisfyConstraint, ArgumentTypeMismatch (best candidate so far)
    Type Inference
      Signature: M<TNewResult>(System.Func`2[[System.Threading.Tasks.Task`1[[`0]]],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`2[[System.Threading.Tasks.Task`1[[`0]]],[``0]]
         MakeLowerBoundInference from ? to ``0 (owner=[Method System.Threading.Tasks.Task`1.ContinueWith``1(continuationFunction:System.Func`2[[System.Threading.Tasks.Task`1[[`0]]],[``0]], cancellationToken:System.Threading.CancellationToken):System.Threading.Tasks.Task`1[[``0]]])
          Add lower bound '?' to TNewResult
        Phase Two
         Trying to fix TNewResult
          T was fixed successfully to ?
      Type inference finished successfully: M<?>
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task`1[[System.Int32]]) and return-type ?...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task`1[[System.Int32]] precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type ?
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith[``0](continuationFunction:System.Func`2[[System.Threading.Tasks.Task`1[[System.Int32]]],[``0]], cancellationToken:System.Threading.CancellationToken):System.Threading.Tasks.Task`1[[``0]]] = ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TNewResult>(System.Func`2[[System.Threading.Tasks.Task`1[[`0]]],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`2[[System.Threading.Tasks.Task`1[[`0]]],[``0]]
         MakeLowerBoundInference from ? to ``0 (owner=[Method System.Threading.Tasks.Task`1.ContinueWith``1(continuationFunction:System.Func`2[[System.Threading.Tasks.Task`1[[`0]]],[``0]], scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task`1[[``0]]])
          Add lower bound '?' to TNewResult
        Phase Two
         Trying to fix TNewResult
          T was fixed successfully to ?
      Type inference finished successfully: M<?>
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task`1[[System.Int32]]) and return-type ?...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task`1[[System.Int32]] precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type ?
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith[``0](continuationFunction:System.Func`2[[System.Threading.Tasks.Task`1[[System.Int32]]],[``0]], scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task`1[[``0]]] = ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TNewResult>(System.Func`2[[System.Threading.Tasks.Task`1[[`0]]],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`2[[System.Threading.Tasks.Task`1[[`0]]],[``0]]
         MakeLowerBoundInference from ? to ``0 (owner=[Method System.Threading.Tasks.Task`1.ContinueWith``1(continuationFunction:System.Func`2[[System.Threading.Tasks.Task`1[[`0]]],[``0]], continuationOptions:System.Threading.Tasks.TaskContinuationOptions):System.Threading.Tasks.Task`1[[``0]]])
          Add lower bound '?' to TNewResult
        Phase Two
         Trying to fix TNewResult
          T was fixed successfully to ?
      Type inference finished successfully: M<?>
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task`1[[System.Int32]]) and return-type ?...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task`1[[System.Int32]] precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type ?
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith[``0](continuationFunction:System.Func`2[[System.Threading.Tasks.Task`1[[System.Int32]]],[``0]], continuationOptions:System.Threading.Tasks.TaskContinuationOptions):System.Threading.Tasks.Task`1[[``0]]] = ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TNewResult>(System.Func`2[[System.Threading.Tasks.Task`1[[`0]]],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`2[[System.Threading.Tasks.Task`1[[`0]]],[``0]]
         MakeLowerBoundInference from ? to ``0 (owner=[Method System.Threading.Tasks.Task`1.ContinueWith``1(continuationFunction:System.Func`2[[System.Threading.Tasks.Task`1[[`0]]],[``0]], cancellationToken:System.Threading.CancellationToken, continuationOptions:System.Threading.Tasks.TaskContinuationOptions, scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task`1[[``0]]])
          Add lower bound '?' to TNewResult
        Phase Two
         Trying to fix TNewResult
          T was fixed successfully to ?
      Type inference finished successfully: M<?>
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task`1[[System.Int32]]) and return-type ?...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task`1[[System.Int32]] precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type ?
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith[``0](continuationFunction:System.Func`2[[System.Threading.Tasks.Task`1[[System.Int32]]],[``0]], cancellationToken:System.Threading.CancellationToken, continuationOptions:System.Threading.Tasks.TaskContinuationOptions, scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task`1[[``0]]] = ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TNewResult>(System.Func`3[[System.Threading.Tasks.Task`1[[`0]]],[System.Object],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`3[[System.Threading.Tasks.Task`1[[`0]]],[System.Object],[``0]]
        Phase Two
         Trying to fix TNewResult
          T was fixed (with errors) to ?
      Type inference finished with errors: M<?>
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith[``0](continuationFunction:System.Func`3[[System.Threading.Tasks.Task`1[[System.Int32]]],[System.Object],[``0]], state:System.Object):System.Threading.Tasks.Task`1[[``0]]] = TypeInferenceFailed, ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TNewResult>(System.Func`3[[System.Threading.Tasks.Task`1[[`0]]],[System.Object],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`3[[System.Threading.Tasks.Task`1[[`0]]],[System.Object],[``0]]
        Phase Two
         Trying to fix TNewResult
          T was fixed (with errors) to ?
      Type inference finished with errors: M<?>
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith[``0](continuationFunction:System.Func`3[[System.Threading.Tasks.Task`1[[System.Int32]]],[System.Object],[``0]], state:System.Object, cancellationToken:System.Threading.CancellationToken):System.Threading.Tasks.Task`1[[``0]]] = TypeInferenceFailed, ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TNewResult>(System.Func`3[[System.Threading.Tasks.Task`1[[`0]]],[System.Object],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`3[[System.Threading.Tasks.Task`1[[`0]]],[System.Object],[``0]]
        Phase Two
         Trying to fix TNewResult
          T was fixed (with errors) to ?
      Type inference finished with errors: M<?>
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith[``0](continuationFunction:System.Func`3[[System.Threading.Tasks.Task`1[[System.Int32]]],[System.Object],[``0]], state:System.Object, scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task`1[[``0]]] = TypeInferenceFailed, ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TNewResult>(System.Func`3[[System.Threading.Tasks.Task`1[[`0]]],[System.Object],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`3[[System.Threading.Tasks.Task`1[[`0]]],[System.Object],[``0]]
        Phase Two
         Trying to fix TNewResult
          T was fixed (with errors) to ?
      Type inference finished with errors: M<?>
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith[``0](continuationFunction:System.Func`3[[System.Threading.Tasks.Task`1[[System.Int32]]],[System.Object],[``0]], state:System.Object, continuationOptions:System.Threading.Tasks.TaskContinuationOptions):System.Threading.Tasks.Task`1[[``0]]] = TypeInferenceFailed, ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TNewResult>(System.Func`3[[System.Threading.Tasks.Task`1[[`0]]],[System.Object],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`3[[System.Threading.Tasks.Task`1[[`0]]],[System.Object],[``0]]
        Phase Two
         Trying to fix TNewResult
          T was fixed (with errors) to ?
      Type inference finished with errors: M<?>
  Candidate [SpecializedMethod System.Threading.Tasks.Task`1[[System.Int32]].ContinueWith[``0](continuationFunction:System.Func`3[[System.Threading.Tasks.Task`1[[System.Int32]]],[System.Object],[``0]], state:System.Object, cancellationToken:System.Threading.CancellationToken, continuationOptions:System.Threading.Tasks.TaskContinuationOptions, scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task`1[[``0]]] = TypeInferenceFailed, ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task) and return-type System.Void...
        Analyzing [LambdaTypeHypothesis (System.Threading.Tasks.Task precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}]...
            Resolved 'precedent' to [LocalResolveResult precedent:System.Threading.Tasks.Task]
            Member reference 'Console.WriteLine' on potentially-ambiguous simple-name was resolved to [UnknownMemberResolveResult ?.WriteLine]
            Resolved 'Console.WriteLine' to [UnknownMemberResolveResult ?.WriteLine]
            Simple name 'Console' was resolved to [UnknownIdentifierResolveResult Console]
            Resolved 'Console' to [UnknownIdentifierResolveResult Console]
            Simple name 'precedent' was resolved to [LocalResolveResult precedent:System.Threading.Tasks.Task]
            Resolved 'precedent' to [LocalResolveResult precedent:System.Threading.Tasks.Task]
            Resolved 'precedent.IsFaulted' to [MemberResolveResult [Property System.Threading.Tasks.Task.IsFaulted]]
            Resolved 'Console.WriteLine (precedent.IsFaulted)' to [UnknownMethodResolveResult ?.WriteLine]
            Resolved 'Console.WriteLine (precedent.IsFaulted);
' to [ResolveResult System.Void]
            Resolved '{
	Console.WriteLine (precedent.IsFaulted);
}' to [ResolveResult System.Void]
            GetBestCommonType() for <empty collection>
             Trying to fix !!0
              T was fixed (with errors) to ?
            Lambda return type was inferred to: ?
        Finished analyzing [LambdaTypeHypothesis (System.Threading.Tasks.Task precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}]
    [LambdaTypeHypothesis (System.Threading.Tasks.Task precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type System.Void
  Candidate [Method System.Threading.Tasks.Task.ContinueWith(continuationAction:System.Action`1[[System.Threading.Tasks.Task]]):System.Threading.Tasks.Task] = ArgumentTypeMismatch (best candidate so far)
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task) and return-type System.Void...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type System.Void
  Candidate [Method System.Threading.Tasks.Task.ContinueWith(continuationAction:System.Action`1[[System.Threading.Tasks.Task]], cancellationToken:System.Threading.CancellationToken):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task) and return-type System.Void...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type System.Void
  Candidate [Method System.Threading.Tasks.Task.ContinueWith(continuationAction:System.Action`1[[System.Threading.Tasks.Task]], scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task) and return-type System.Void...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type System.Void
  Candidate [Method System.Threading.Tasks.Task.ContinueWith(continuationAction:System.Action`1[[System.Threading.Tasks.Task]], continuationOptions:System.Threading.Tasks.TaskContinuationOptions):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task) and return-type System.Void...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type System.Void
  Candidate [Method System.Threading.Tasks.Task.ContinueWith(continuationAction:System.Action`1[[System.Threading.Tasks.Task]], cancellationToken:System.Threading.CancellationToken, continuationOptions:System.Threading.Tasks.TaskContinuationOptions, scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
  Candidate [Method System.Threading.Tasks.Task.ContinueWith(continuationAction:System.Action`2[[System.Threading.Tasks.Task],[System.Object]], state:System.Object):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
  Candidate [Method System.Threading.Tasks.Task.ContinueWith(continuationAction:System.Action`2[[System.Threading.Tasks.Task],[System.Object]], state:System.Object, cancellationToken:System.Threading.CancellationToken):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
  Candidate [Method System.Threading.Tasks.Task.ContinueWith(continuationAction:System.Action`2[[System.Threading.Tasks.Task],[System.Object]], state:System.Object, scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
  Candidate [Method System.Threading.Tasks.Task.ContinueWith(continuationAction:System.Action`2[[System.Threading.Tasks.Task],[System.Object]], state:System.Object, continuationOptions:System.Threading.Tasks.TaskContinuationOptions):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
  Candidate [Method System.Threading.Tasks.Task.ContinueWith(continuationAction:System.Action`2[[System.Threading.Tasks.Task],[System.Object]], state:System.Object, cancellationToken:System.Threading.CancellationToken, continuationOptions:System.Threading.Tasks.TaskContinuationOptions, scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task] = MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TResult>(System.Func`2[[System.Threading.Tasks.Task],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`2[[System.Threading.Tasks.Task],[``0]]
         MakeLowerBoundInference from ? to ``0 (owner=[Method System.Threading.Tasks.Task.ContinueWith``1(continuationFunction:System.Func`2[[System.Threading.Tasks.Task],[``0]]):System.Threading.Tasks.Task`1[[``0]]])
          Add lower bound '?' to TResult
        Phase Two
         Trying to fix TResult
          T was fixed successfully to ?
      Type inference finished successfully: M<?>
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task) and return-type ?...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type ?
  Candidate [Method System.Threading.Tasks.Task.ContinueWith``1(continuationFunction:System.Func`2[[System.Threading.Tasks.Task],[``0]]):System.Threading.Tasks.Task`1[[``0]]] = ConstructedTypeDoesNotSatisfyConstraint, ArgumentTypeMismatch (best candidate so far)
    Type Inference
      Signature: M<TResult>(System.Func`2[[System.Threading.Tasks.Task],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`2[[System.Threading.Tasks.Task],[``0]]
         MakeLowerBoundInference from ? to ``0 (owner=[Method System.Threading.Tasks.Task.ContinueWith``1(continuationFunction:System.Func`2[[System.Threading.Tasks.Task],[``0]], cancellationToken:System.Threading.CancellationToken):System.Threading.Tasks.Task`1[[``0]]])
          Add lower bound '?' to TResult
        Phase Two
         Trying to fix TResult
          T was fixed successfully to ?
      Type inference finished successfully: M<?>
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task) and return-type ?...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type ?
  Candidate [Method System.Threading.Tasks.Task.ContinueWith``1(continuationFunction:System.Func`2[[System.Threading.Tasks.Task],[``0]], cancellationToken:System.Threading.CancellationToken):System.Threading.Tasks.Task`1[[``0]]] = ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TResult>(System.Func`2[[System.Threading.Tasks.Task],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`2[[System.Threading.Tasks.Task],[``0]]
         MakeLowerBoundInference from ? to ``0 (owner=[Method System.Threading.Tasks.Task.ContinueWith``1(continuationFunction:System.Func`2[[System.Threading.Tasks.Task],[``0]], scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task`1[[``0]]])
          Add lower bound '?' to TResult
        Phase Two
         Trying to fix TResult
          T was fixed successfully to ?
      Type inference finished successfully: M<?>
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task) and return-type ?...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type ?
  Candidate [Method System.Threading.Tasks.Task.ContinueWith``1(continuationFunction:System.Func`2[[System.Threading.Tasks.Task],[``0]], scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task`1[[``0]]] = ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TResult>(System.Func`2[[System.Threading.Tasks.Task],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`2[[System.Threading.Tasks.Task],[``0]]
         MakeLowerBoundInference from ? to ``0 (owner=[Method System.Threading.Tasks.Task.ContinueWith``1(continuationFunction:System.Func`2[[System.Threading.Tasks.Task],[``0]], continuationOptions:System.Threading.Tasks.TaskContinuationOptions):System.Threading.Tasks.Task`1[[``0]]])
          Add lower bound '?' to TResult
        Phase Two
         Trying to fix TResult
          T was fixed successfully to ?
      Type inference finished successfully: M<?>
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task) and return-type ?...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type ?
  Candidate [Method System.Threading.Tasks.Task.ContinueWith``1(continuationFunction:System.Func`2[[System.Threading.Tasks.Task],[``0]], continuationOptions:System.Threading.Tasks.TaskContinuationOptions):System.Threading.Tasks.Task`1[[``0]]] = ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TResult>(System.Func`2[[System.Threading.Tasks.Task],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`2[[System.Threading.Tasks.Task],[``0]]
         MakeLowerBoundInference from ? to ``0 (owner=[Method System.Threading.Tasks.Task.ContinueWith``1(continuationFunction:System.Func`2[[System.Threading.Tasks.Task],[``0]], cancellationToken:System.Threading.CancellationToken, continuationOptions:System.Threading.Tasks.TaskContinuationOptions, scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task`1[[``0]]])
          Add lower bound '?' to TResult
        Phase Two
         Trying to fix TResult
          T was fixed successfully to ?
      Type inference finished successfully: M<?>
    Testing validity of [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] for parameters (System.Threading.Tasks.Task) and return-type ?...
    [LambdaTypeHypothesis (System.Threading.Tasks.Task precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}] is invalid for return-type ?
  Candidate [Method System.Threading.Tasks.Task.ContinueWith``1(continuationFunction:System.Func`2[[System.Threading.Tasks.Task],[``0]], cancellationToken:System.Threading.CancellationToken, continuationOptions:System.Threading.Tasks.TaskContinuationOptions, scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task`1[[``0]]] = ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TResult>(System.Func`3[[System.Threading.Tasks.Task],[System.Object],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`3[[System.Threading.Tasks.Task],[System.Object],[``0]]
        Phase Two
         Trying to fix TResult
          T was fixed (with errors) to ?
      Type inference finished with errors: M<?>
  Candidate [Method System.Threading.Tasks.Task.ContinueWith``1(continuationFunction:System.Func`3[[System.Threading.Tasks.Task],[System.Object],[``0]], state:System.Object):System.Threading.Tasks.Task`1[[``0]]] = TypeInferenceFailed, ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TResult>(System.Func`3[[System.Threading.Tasks.Task],[System.Object],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`3[[System.Threading.Tasks.Task],[System.Object],[``0]]
        Phase Two
         Trying to fix TResult
          T was fixed (with errors) to ?
      Type inference finished with errors: M<?>
  Candidate [Method System.Threading.Tasks.Task.ContinueWith``1(continuationFunction:System.Func`3[[System.Threading.Tasks.Task],[System.Object],[``0]], state:System.Object, cancellationToken:System.Threading.CancellationToken):System.Threading.Tasks.Task`1[[``0]]] = TypeInferenceFailed, ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TResult>(System.Func`3[[System.Threading.Tasks.Task],[System.Object],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`3[[System.Threading.Tasks.Task],[System.Object],[``0]]
        Phase Two
         Trying to fix TResult
          T was fixed (with errors) to ?
      Type inference finished with errors: M<?>
  Candidate [Method System.Threading.Tasks.Task.ContinueWith``1(continuationFunction:System.Func`3[[System.Threading.Tasks.Task],[System.Object],[``0]], state:System.Object, scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task`1[[``0]]] = TypeInferenceFailed, ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TResult>(System.Func`3[[System.Threading.Tasks.Task],[System.Object],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`3[[System.Threading.Tasks.Task],[System.Object],[``0]]
        Phase Two
         Trying to fix TResult
          T was fixed (with errors) to ?
      Type inference finished with errors: M<?>
  Candidate [Method System.Threading.Tasks.Task.ContinueWith``1(continuationFunction:System.Func`3[[System.Threading.Tasks.Task],[System.Object],[``0]], state:System.Object, continuationOptions:System.Threading.Tasks.TaskContinuationOptions):System.Threading.Tasks.Task`1[[``0]]] = TypeInferenceFailed, ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
    Type Inference
      Signature: M<TResult>(System.Func`3[[System.Threading.Tasks.Task],[System.Object],[``0]])
      Arguments: [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
        Phase One
         MakeOutputTypeInference from [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}] to System.Func`3[[System.Threading.Tasks.Task],[System.Object],[``0]]
        Phase Two
         Trying to fix TResult
          T was fixed (with errors) to ?
      Type inference finished with errors: M<?>
  Candidate [Method System.Threading.Tasks.Task.ContinueWith``1(continuationFunction:System.Func`3[[System.Threading.Tasks.Task],[System.Object],[``0]], state:System.Object, cancellationToken:System.Threading.CancellationToken, continuationOptions:System.Threading.Tasks.TaskContinuationOptions, scheduler:System.Threading.Tasks.TaskScheduler):System.Threading.Tasks.Task`1[[``0]]] = TypeInferenceFailed, ConstructedTypeDoesNotSatisfyConstraint, MissingArgumentForRequiredParameter, ArgumentTypeMismatch
Overload resolution finished, best candidate is [SpecializedMethod System.Threading.Tasks.Task.ContinueWith[?](continuationFunction:System.Func`2[[System.Threading.Tasks.Task],[?]]):System.Threading.Tasks.Task`1[[?]]].
Processing conversion of anonymous function to System.Func`2[[System.Threading.Tasks.Task],[?]]...
    Applying return type ? to implicitly-typed lambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}
    Merging [LambdaTypeHypothesis (System.Threading.Tasks.Task precedent) => {
	Console.WriteLine (precedent.IsFaulted);
}]
    Resolved 'precedent' to [LocalResolveResult precedent:System.Threading.Tasks.Task]
    Resolved 'Console.WriteLine' to [UnknownMemberResolveResult ?.WriteLine]
    Resolved 'Console' to [UnknownIdentifierResolveResult Console]
    Resolved 'precedent' to [LocalResolveResult precedent:System.Threading.Tasks.Task]
    Resolved 'precedent.IsFaulted' to [MemberResolveResult [Property System.Threading.Tasks.Task.IsFaulted]]
    Resolved 'Console.WriteLine (precedent.IsFaulted)' to [UnknownMethodResolveResult ?.WriteLine]
    Resolved 'Console.WriteLine (precedent.IsFaulted);
' to [ResolveResult System.Void]
    Resolved '{
	Console.WriteLine (precedent.IsFaulted);
}' to [ResolveResult System.Void]
Resolved 'foo.ContinueWith (precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
})' to [CSharpInvocationResolveResult [SpecializedMethod System.Threading.Tasks.Task.ContinueWith[?](continuationFunction:System.Func`2[[System.Threading.Tasks.Task],[?]]):System.Threading.Tasks.Task`1[[?]]]]
Resolved 'foo.ContinueWith (precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
});
' to [ResolveResult System.Void]
Resolved '{
	Task<int> foo = null;
	foo.ContinueWith (precedent =>  {
		Console.WriteLine (precedent.IsFaulted);
	});
}
' to [ResolveResult System.Void]
Resolved 'public void TestMethod ()
{
	Task<int> foo = null;
	foo.ContinueWith (precedent =>  {
		Console.WriteLine (precedent.IsFaulted);
	});
}
' to [MemberResolveResult [Method TestClass.TestMethod():System.Void]]
Resolved 'class TestClass
{
	public void TestMethod ()
	{
		Task<int> foo = null;
		foo.ContinueWith (precedent =>  {
			Console.WriteLine (precedent.IsFaulted);
		});
	}
}
' to [TypeResolveResult TestClass]
Resolved 'using System.Threading.Tasks;

class TestClass
{
	public void TestMethod ()
	{
		Task<int> foo = null;
		foo.ContinueWith (precedent =>  {
			Console.WriteLine (precedent.IsFaulted);
		});
	}
}
' to [ResolveResult System.Void]
ResolveResult is [ImplicitlyTypedLambda precedent =>  {
	Console.WriteLine (precedent.IsFaulted);
}]
############################################################################
##############                F A I L U R E S              #################
1) ICSharpCode.NRefactory.CSharp.Resolver.LambdaTests.LambdaTaskParameterTest :
  Expected: True
  But was:  False
at
c:\work\NRefactory\ICSharpCode.NRefactory.Tests\CSharp\Resolver\LambdaTests.cs(98)
############################################################################
Executed tests       : 1
Ignored tests        : 0
Failed tests         : 1
Unhandled exceptions : 0
Total time           : 7.58273970059848 seconds
############################################################################