Skip to content

Instantly share code, notes, and snippets.

@dgrunwald

dgrunwald/Resolver log for #361

Created November 13, 2013 02:33
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save dgrunwald/7442645 to your computer and use it in GitHub Desktop.
Save dgrunwald/7442645 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
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
############################################################################
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment