ILSpy

Commit Graph

Author	SHA1	Message	Date
Siegfried Pammer	63900bb38c	Align span conversions, betterness and inference with the C# 14 spec Auditing against the first-class-span-types proposal turned up three deviations, each now pinned by resolver unit tests whose expectations were established by compiling probe programs with the C# 14 compiler. Lower-bound type inference recursed into Span<T> targets as another lower-bound inference, but Span<T> is invariant and the spec demands an exact element inference there: M<T>(Span<T>, T) with (Span<string>, object) must fail inference (CS0411), not unify to T=object. Better-conversion-target compared ReadOnlySpan element types where the spec compares the span types, admitting numeric and user-defined element conversions the span types do not share: overloads taking ReadOnlySpan<int> and ReadOnlySpan<long> are ambiguous (CS0121), not resolvable. The general mutual-convertibility rule already implements the spec's span-type test, so the element-level block is simply removed; the ReadOnlySpan-over-Span identity rule stays, since it deliberately inverts that general rule. The explicit span conversion did not exist at all, and with it the rule that user-defined conversions are not considered between span-convertible types. The visible consequence: string[] to Span<object> classified as an implicit user-defined conversion via op_Implicit(object[]) plus array covariance, where the compiler reports CS0266 - only the explicit span conversion exists. Span conversions are also no longer considered for extension receivers during method group conversion (CS0123), while invocations keep them. Part of #829. Assisted-by: Claude:claude-fable-5:Claude Code	1 month ago
Siegfried Pammer	471c3b1776	Move the remaining ResolveResult subclasses into the Semantics namespace The resolve-result hierarchy was split between ICSharpCode.Decompiler.Semantics and ICSharpCode.Decompiler.CSharp.Resolver, so consumers had to know which half a given result came from and import both namespaces. All subclasses now live next to their base class; MethodListWithDeclaringType follows the method group it describes, and ILVariableResolveResult gets its own file instead of sitting among the syntax-tree annotation helpers. Assisted-by: Claude:claude-opus-5[1m]:Claude Code	1 month ago
Siegfried Pammer	69e2813298	Remove the unused ResolveResult.GetChildResults API Nothing walked the resolve-result graph: the virtual method and its fourteen overrides only ever called each other, with InvocationResolveResult's chained base call as the sole call site in the tree. Assisted-by: Claude:claude-opus-5[1m]:Claude Code	1 month ago
Peter Crabtree	e1e16b64f5	dev: Strip BOM mark from text files	1 year ago
Daniel Grunwald	bd9ee28552	Fix #1789 : missing hyperlink for `MethodGroupResolveResult`.	1 year ago
Daniel Grunwald	c95da67cbe	Fix extension method calls on `this in`.	6 years ago
Daniel Grunwald	3c554b5e6c	Fix overload resolution: overloads with `in` parameters are applicable even if the argument is passed without explicit `in`	6 years ago
dotnet format	0d9f871a4f	#2128 : Reformat the whole code base.	6 years ago
Siegfried Pammer	8925b4ff7b	Inline variable declarations/modernize parts of our code base.	7 years ago
Siegfried Pammer	e211b01595	Fix CA1507:UseNameofInPlaceOfString, adjust formatting of some older source files copied from NRefactory.	7 years ago
Daniel Grunwald	ccdabf2325	Fix a bunch of XmlDoc compiler warnings.	7 years ago
Daniel Grunwald	926c7850ac	Distinguish between unknown type and no type.	8 years ago
Daniel Grunwald	4d00c65608	Use IReadOnlyList<T> instead of IList<T> in the resolved type system.	9 years ago
Siegfried Pammer	840ec04fde	Namespace adjustments for Syntax classes	10 years ago
Christoph Wille	1ce8349dd9	Adjust namespaces	10 years ago
Siegfried Pammer	5bedb80a78	Phase 1: merge parts of ICSharpCode.NRefactory.CSharp into ICSharpCode.Decompiler	10 years ago

2 Commits (c74990d987756700a0f754a8fdbc831b6c4877e6)