Prevent exceptions with a 'Success' message when there is a problem with permissions (#78555)

Disable APICompat assembly validation in source build (#79027)

The APICompat tooling was recently updated and the CoreLib projects and ApiCompat.proj depend on the new features. As source-build in main builds with a 7.0.100 toolchain instead of live built components, disable APICompat for now in source-build.

Internal.Console.Write uses unicode encoding for iOS (#78974)

* Internal.Console.Write uses UTF16 encoding for IsiOSLike

Transform `STRUCT`-typed uses of primitives in local morph (#78131)

* Add fwd-sub workaround

* Fold STRUCT-based access to primitives in local morph

* Solve a tiny regression

* Adapt args morhing

* Adapt block morphing

* Adapt return morphing

* Delete dead code

Add .NET 7 source gen regression tests (#78857)

Update to the stable 7.0.100 SDK (#78034)

Co-authored-by: Alexander Köplinger <alex.koeplinger@outlook.com>

Add simple Else conditions to If Conversion (#77728)

* Add simple Else conditions to If Conversion

For example:
if (x < 7) { a = 5; } else { a = 9; }
a = (cond) ? b : c;

The else condition must write to the same variable as the then
statement.

* Move phase and stop updating ssa

* Wrap JitConfig access

* Add GT_RETURN else cases

* Add test cases with verification checks

* Ensure single only operation condition checks are used

* Remove empty line

* Use DOTNET_ instead of COMPlus_

* Move JitDoIfConversion check

* Move if conversion into it's own file

* Always invert condition

* Rename IfConvertMergeBlocks

* Use gtGetOp1()

* Expand tests

* Add operation type assert

* Allow nested SELECT nodes

* Fix condition directions

JIT: Fix initblk/cpblk and STORE_DYN_BLK size mismatch (#78930)

STORE_DYN_BLK turns into a call to JIT_MemSet/JIT_MemCpy that go quite
directly to memset/memcpy, so the size is actually a native uint. This
can cause problems since the JIT does not make any normalization
guarantees above 32 bits.

Fix #78912

Move AT_EXECFN to fallback for /proc/self/exe (#78958)

* Move AT_EXECFN to fallback for /proc/self/exe

* Update src/native/minipal/getexepath.h

Consolidate approach for conditional tests that check for privileged processes (#78793)

* Consolidate approach for conditional tests that check for privileged processes

* Simpler privileged process helpers

* Revert SLN file changes

* Remove platform-specific helpers for privileged process conditions

* Fix System.IO tests for unix-specific privileged process scenarios

* Browser does not support privileged processes

* Fix System.IO tests for unix-specific privileged process scenarios

* Enable the Environment.IsPrivilegedProcess test for browser

* PR feedback

Omit [PlatformSpecific] in modified tests that are in platform-specific test files.

Remove [Outerloop] attributes from privileged process tests.

Better multithreaded handling in PlatformDetection.IsPrivilegedProcess

[Android] Remove repeated calls to beginHandshake (#78849)

Cleanup

Revert some changes

disable failing test - active issue (#78976)

Don't gitignore linker (#79002)

Place non-GC statics in the dehydratable section (#78795)

There can be a pointer reloc that points to the class constructor. We need this to stay as a full pointer since non-Gc statics can be allocated at runtime and we don't have guarantees they would be within +-2 GB of the cctor.

Place frozen objects into dehydrated section (#78688)

Saves 1% in size on a Hello World on Windows, more on Linux because we're getting rid of full pointers.

* Instead of using `ArrayOfEmbeddedDataNode` as the base for the frozen object region, derive from `DehydratableObjectNode` directly. The base class wasn't really saving us much work over `ObjectNode` anyway.
* Move the "align object to minimum size" code to the central location while I'm touching it.
* Keep track of all frozen objects in the `MetadataManager`. This is the general pattern we follow elsewhere. The old pattern where the frozen object adds itself from the callback also works, but this matches the approach we use for other summarized node kinds.

Place dispatch cells in dehydrated section (#78748)

Add IndexOfAnyValues.Contains (#78996)

* Add IndexOfAnyValues.Contains

* Unsafe => unsafe

Fix compiling EXE modules as native libraries (#78949)

When `--nativelib` is used together with a module that defines an entrypoint, we would incorrectly run some of the logic meant for EXEs. This is failure is only reachable when one constructs inputs to `ilc.exe` manually. The SDK doesn't allow constructing such inputs.

Fix configuration binding with types implementing IDictionary<,> (#78946)

Co-authored-by: Steve Dunn <steve@dunnhq.com>

Implement DateTimeOffset.TotalOffsetMinutes (#78943)

Co-authored-by: Eirik Tsarpalis <eirik.tsarpalis@gmail.com>
Fixes https://github.com/dotnet/runtime/issues/52081

Remove single-stage-pipeline-with-resources.yml, use only pipeline-with-resources.yml (#78968)

* Remove single-stage-pipeline-with-resources.yml, use only pipeline-with-resources.yml

This reduces nesting of the pipeline templates.

* Remove file

Improve fgGetStaticFieldSeqAndAddress (#78961)

[PERF] Make mono dotnet pathing dynamic with proj file (#78787)

* Added the proj file that prints the variables we need in the azure pipeline.

* Added the steps to run the new properties pipeline.proj file and properly use the env variables where necessary.

[wasm][debugger] Fix justMyCode behavior (#78066)

* DotnetDebugger.setDebuggerProperty does not depend of having a session.

* addressing @radical comments

[wasm][debugger] Improvements in debugging in async methods (#78651)

* Fixing 2 variables with same names in different scopes in a async method.

* Implementing support to see local variables in async methods in VB code, and also fixing 2 variables with same name in differente scopes, and also fixing method name for async methods in VB.

* Adding Test case as suggested by @radical

* Refactor Scope class

* slight test changes

* Split the tests, to be more readable in code, and in test results

* cleanup

* addressing radical comments

* addressing radical comments, fix test case

* addressing radical comments

* addressing @radical comments

Co-authored-by: Ankit Jain <radical@gmail.com>

Revert "Handle zero value RSA modulus for OpenSSL 1.1" (#78986)

Use `FIELD_ADDR` for all `ldflda`s (#78226)

Make DAC logging opt-in (#77923)

Handle zero value RSA modulus for OpenSSL 1.1

[wasm] Catch error from loading "node:crypto" module (#78916)

* Catch error from loading node:crypto module.

* Throw error with explanation when crypto module is not available.

* Fix providing error throwing polyfill.

Use string interpolation in more places (#78920)

Mostly tests, but a few src fixes as well.

Fix handling of conv_i in the interpreter (#78948)

The missing `default` case was causing a stack imbalance (that we later detect so it doesn't actually harm anything). But better to `Status.Fail` than throw and catch.

Delete .NET Native leftovers from type loader (part 1 of X) (#78960)

Main themes:
* Floating generic dictionaries
* Universal shared code
* Metadata type loading

I went through EETypeCreator.cs and deleted everything that didn't look necessary. Some of that had entrails in other files that I deleted as well, but the other files were not my focus.

Removed extra 'Build' from build display name

Extend regex [x, x+64) char class optimization to [x, x+32) (#78900)

* Extend regex [x, x+64) char class optimization to [x, x+32)

Regex currently optimizes set lookups when all of the characters in the range-based character class are within 64 of each other; in that case, it builds a 64-bit bitmap in a ulong and does bit manipulation to compute in a branchless manner whether the target character is in the set. However, because this manipulates 64-bit values, RegexCompiler avoids this optimization when in a 32-bit process, and the source generator generates the code anyway, with a 32-bit process suffering slightly. This PR adds a 32-bit variation of the scheme, such that if all of the characters fall within 32 of each other, it's used.

* Update src/libraries/System.Text.RegularExpressions/gen/RegexGenerator.Emitter.cs

Co-authored-by: campersau <buchholz.bastian@googlemail.com>
Co-authored-by: campersau <buchholz.bastian@googlemail.com>

Replace more Unsafe.As usage with pointers (#78919)

Fix nullable annotation on Path.EndsInDirectorySeparator(string) (#78922)

Change the default SuperPMI collection location (#78513)

When using `superpmi.py collect`, change the default output MCH
file to be located in the current directory, not the "spmi" location.
Also, add logic so multiple concurrent collections using a default
file name don't overwrite each other.

JIT: Fold const RVA access (via const index) (#78783)

Co-authored-by: Jan Kotas <jkotas@microsoft.com>

Fix typos: entires -> entries (#78928)

Make sure s_currentGenerationTable is safe for profiler attach (#78841)

Add compiler-generated code tests for NativeAot (#77457)

This adds the compiler-generated code tests from illink and enables them for NativeAot.

Includes fixes in the test infrastructure required to make some of the tests pass.

Disable ClientConnectAsync_Cancel_With_InfiniteTimeout test frequently failing in CI (#78923)

Generate diagnosable failfast in GVM resolution (#78904)

If the program hits the conditions in #77070, generate a failfast message that makes it possible to create a workaround.

Instead of:

```
Process terminated. Generic virtual method pointer lookup failure.

Declaring type handle: MethodTable:0x00007FF66E8587B8
Target type handle: MethodTable:0x00007FF66E858810
Method name: Serialize
Instantiation:
  Argument 00000000: MethodTable:0x00007FF66E85DA08
```

Generate:

```
Process terminated. Generic virtual method pointer lookup failure.

Declaring type handle: EETypeRva:0x005438B8(MemoryPackFormatter2`1[MemPackObject])
Target type handle: EETypeRva:0x00543910(MemoryPackableFormatter2`1[MemPackObject])
Method name: Serialize
Instantiation:
  Argument 00000000: EETypeRva:0x00529B38(System.Buffers.ArrayBufferWriter`1[System.Byte])
```

The workaround is then:

```xml
<Directives>
  <Application>
    <Assembly Name="repro">
      <Type Name="MemoryPackableFormatter2`1[[MemPackObject]]">
        <Method Name="Serialize" Dynamic="Required All">
          <GenericArgument Name="System.Buffers.ArrayBufferWriter`1[[System.Byte, mscorlib]],System.Memory" />
        </Method>
      </Type>
    </Assembly>
  </Application>
</Directives>
```

add README files for Microsoft.Win32.* (#78248)

* Microsoft.Win32.Primitives: add README

* Microsoft.Win32.Registry: add README

* Microsoft.Win32.Registry.AccessControl: add README

* Microsoft.Win32.SystemEvents: add README

Correctly handle false on Add/Take from underlying collection in BlockingCollection (#77936)

* add failing tests

* fix false handling

* wrong push

* remove empty line

* remove random assert

* fix interlocked

* simplify if

* add few more assertions

* try to simplify double try-finally

* apply review comments

Disable mark phase prefetching for segments.

Idea is to have clrgc.dll using segments as a fallback for customers hitting issues with regions - one thing that changed for segments with 7.0 is prefetching in the mark phase, so this PR disables this functionality.

Use IndexOfAnyValues in Cookie DomainCharsTest (#78896)

JIT: Set GTF_ORDER_SIDEEFF for some nodes with invisible dependencies (#78698)

We have a few places where we create the pattern "COMMA(some check, some value)". In some of these cases there may not be any visible dependency (e.g. use of a defined value) which makes the dependency invisible to the JIT.

If the value is safe to compute only because of the check (for example, a bounds check + indexing operation), and if the value otherwise has no side effects, then nothing prevented the backend or optimizations from reordering these nodes.

A particular problem we may have is around array indexing and bounds checks. Creating an arbitrary illegal byref is not allowed, but to the JIT this node is just a normal node that is completely free of any side effects. Before this change nothing was preventing us from reordering the bounds checks with the computation of the array element.

Fix #78554

Co-authored-by: Alan Hayward <alan.hayward@arm.com>

Update JsonSerializer.Write.Stream.cs (#78902)

[main] Update dependencies from dotnet/cecil (#78768)

Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>

Replace loop with LastIndexOfAny in DeveloperExperience.cs (#78895)

Co-authored-by: Jan Kotas <jkotas@microsoft.com>

Convert pointers in a couple tables to relative (#78801)

`EmbeddedPointerIndirection` is used in:

* Array of pointers to dispatch maps
* Array of pointers to GC static infos
* Array of pointers to eager constructors

I'm also updating array of module initializers emission since the code to interpret this table at runtime is the same as eager constructors.

Align version option in System.CommandLine usages (#78886)

Change MetricSpec.TryParse to be Parse (#78729)

* Change MetricSpec.TryParse to be Parse

It was always creating a MetricSpec and returning true.

* Update src/libraries/System.Diagnostics.DiagnosticSource/src/System/Diagnostics/Metrics/MetricsEventSource.cs

Co-authored-by: Theodore Tsirpanis <teo@tsirpanis.gr>
Co-authored-by: Theodore Tsirpanis <teo@tsirpanis.gr>

[wasm] Fix chrome downloads to unbreak CI (#78884)

Fix malformed XML documentation (#78868)

Fix asserts in Vector<> (#78765)

Remove SystemReflectionMetadataLoadContextVersion from Versions.props (#78848)

The last usage was removed in https://github.com/dotnet/runtime/commit/1f0a0960029f58a2363a6610b04c62265366f39d

Move the `[With|Get]Element(SIMD)` folding to local morph (#76491)

* Migrate [Get|With]Element to local morph

* Delete code from morph

* Move fgMorphCombineSIMDFieldAssignments to local morph

* Save uses in Values instead of nodes

* Remove ReplaceWith

* Add ifdefs for clarity and to avoid regressing ARM

Update convention on how to ref and pack analyzers (#78845)

d3af4921f36dba8dde35ade7dff59a3a192edddb made it possible to reference
and package an analyzer via the same msbuild item by setting custom
metadata.

While reviewing other places that could use the AnalyzerReference item,
I realized that using this custom item doesn't provide much value and
creates an artificial difference to the rest of the stack and our customers
[as we don't adhere to our own documentation](https://devblogs.microsoft.com/dotnet/introducing-c-source-generators/#hello-world-source-generator-edition).

Instead, IMHO it makes much more sense to keep using a
`ProjectReference` item with the documented set of required metadata, to
reference an analyzer and just define an additional custom metadata to
support packaging the analyzer: `PackAsAnalyzer`.
The reason for that is that the additional metadata explains how the
reference works (no assembly output reference, added as an Analyzer
output item) vs. the `AnalyzerReference` which is a repo custom item
that doesn't tell you that behind the scenes it actually gets converted
to a `ProjectReference` with the same metadata as if you would declare
that yourself as a P2P.

To summarize the change:

1. Consume an analyzer
```xml
<!-- Before -->
<AnalyzerReference Include="..." />
<!-- After -->
<ProjectReference Include="..." ReferenceOutputAssembly="false" OutputItemType="Analyzer" />
```

2. Pack an analyzer and consume it
```xml
<!-- Before -->
<AnalyzerReference Include="..." Pack="true" />
<!-- After -->
<ProjectReference Include="..." ReferenceOutputAssembly="false" OutputItemType="Analyzer" PackAsAnalyzer="true" />
```

3. Pack an analyzer without consuming it
```xml
<!-- Before -->
<AnalyzerReference Include="..." Pack="true" ReferenceAnalyzer="false" />
<!-- After -->
<ProjectReference Include="..." ReferenceOutputAssembly="false" PackAsAnalyzer="true" />
```

Add support for serializing properties in interface hierarchies (#78788)

* Add support for serializing properties in interface hierarchies.

* Attempt to fix trim analysis error.

* Work around trimmer warning issue and address misc feedback.

Make DependencyGraphViewer a WinExe (#78843)

It was WinExe in the CoreRT repo but this was apparently lost when porting it over to runtime repo.

Disable CG on Linux musl installer jobs too (#78832)

We already had the same in eng/pipelines/common/templates/runtimes/xplat-job.yml and eng/pipelines/libraries/base-job.yml, it was just missing from the installer jobs.

It fixes a warning on the Linux musl installer job.

[mono][tests] Fix FullAOT DivToMul test (#78816)

* Changed how NaN values are compared due to their multiple bit representations

Signed-off-by: Vlad - Alexandru Ionescu <vlad-alexandruionescu@Vlads-MacBook-Pro-2.local>
* Fixed typo

Signed-off-by: Vlad - Alexandru Ionescu <vlad-alexandruionescu@Vlads-MacBook-Pro-2.local>
Signed-off-by: Vlad - Alexandru Ionescu <vlad-alexandruionescu@Vlads-MacBook-Pro-2.local>
Co-authored-by: Vlad - Alexandru Ionescu <vlad-alexandruionescu@Vlads-MacBook-Pro-2.local>

This fixes Github issue 78206 - a heap corruption problem associated with mark stack overflow (#78756)

* This fixes Github issue 78206 - a heap corruption problem associated with mark stack overflow.

Dumps provided by the customer showed in all cases that the min_overflow_address/max_overflow_address fields had values different from their initial values of MAX_PTR and 0. This implies that a mark stack overflow has occurred, but has not been properly handled.

Looking at the code, we realized that we may still have objects in the mark prefetch queue as we enter process_mark_overflow. These objects may cause another mark stack overflow when they are traced. So we need to drain the mark prefetch queue before we check the min_overflow_address/max_overflow_address fields.

We provided a private build of clrgc.dll to the customer reporting the issue, and customer has validated that the fix resolves the issue.

Looking at the code further, some calls to drain_mark_queue have now become superfluous because the mark queue is now guaranteed to be empty after calls to process_mark_overflow and scan_dependent handles. These calls have been replaced with calls to mark_queue.verify_empty.

SIMDify ToLowerInvariant/ToUpperInvariant (#78262)

Implement Equals & GetHashCode for LingerOption - fix Socket outerloop tests (#78747)

Add `DllCharacteristics.ForceIntegrity` and `ControlFlowGuard`. (#78072)

* Add `DllCharacteristics.ForceIntegrity` and `ControlFlowGuard`.

* Update src/libraries/System.Reflection.Metadata/src/System/Reflection/PortableExecutable/PEFileFlags.cs

Co-authored-by: Stephen Toub <stoub@microsoft.com>
Co-authored-by: Stephen Toub <stoub@microsoft.com>

linux-requirements.md: add missing line-continuation (#78476)

Clarify docs for Leading/TrailingZeroCount (#78510)

Fix some duplicative null checks (#78727)

Fix arithmetic overflow in Queue<T>'s MoveNext() (#78600)

* Fix arithmetic overflow in Queue<T>'s MoveNext()

* Restrict the test to 64-bit platform

Co-authored-by: Stephen Toub <stoub@microsoft.com>
* Use SkipTestException

Co-authored-by: Stephen Toub <stoub@microsoft.com>

Remove unnecessary % in ToFourDigitYear (#78728)

From previous checks we know year >= 0 && year < 100, so year % 100 == year.

[wasm] bump devDependencies to rollup 3 and TypeScript 4.9 (#78726)

* Bump dev dependencies

Typescript 4.9

rollup 2.79.1  (can't bump to rollup 3 until rollup-plugin-consts
1.1.1 is published to raise it's upper bound rollup dependency)

* bump to rollup 3

replace untmainained rollup-plugin-terser with @rollup/plugin-terser

replace rollup-plugin-consts with a shim @rollup/plugin-virtual.
They do the same thing, but consts is more opinionated about how it
names its modules

* Commit new package-lock.json

* Create package-lock.json using npm v6 (from Emscripten)

And use the dnceng npm registry

* update README with more details about upgrading NPM packages

* Make markdownlint happy

Bigger timeout (for perf slow). (#78632)

Remove pointer relocs from GC statics (#78794)

NativeAOT exports marked functions for exe apps. (#78738)

Functions decorated with the attribute UnmanagedCallersOnlyAttribute
are not inserted in the export table of the compiled file when the
.NET project is an executable (i.e., as opposed to a library).
This change removes the difference between a library and an executable
regarding the handling of the attribute UnmanagedCallersOnlyAttribute.
As such, decorated functions with this attribute are now adequately
exported for libraries and executables.

Fix #78663

Remove code for CoreFxNetCloudService classic Azure Cloud Service (#78773)

It was replaced by a new endpoint (see https://github.com/dotnet/corefx/pull/41603) and the corefx-net.cloudapp.net endpoint was turned off.

Allow interop resolvers to return self handle (#78004)

When user-defined resolvers return self handle via `GetMainProgramHandle()`, we lookup the cached handle in mono and fail to find one because `internal_module` is not cached in `native_library_module_map`.

Fix is to test the resolver returned handle against self; before the map lookup (which happens under the lock).

Close #77985.

* Allow interop resolvers to return self handle

* Disable new test on windows and monointerpreter

* Add new test to monointerpreter ExcludeList

Remove unnecessary null check in DataTable (#78725)

Introduce System.IO.Ports area (#78743)

Remove members on `arguments_t` that are not related to the app itself (#78745)

Bump System.Data.SqlClient to 4.8.5 (#78774)

It addresses a component governance warning.

Convert some instances of Unsafe.SizeOf and Unsafe.As to regular unsafe code (#78741)

C# 11 allows use of managed types with pointers and sizeof. Replacing Unsafe.* with regular unsafe code makes the binaries a bit smaller and saves time and memory at runtime.

Use Environment.IsPrivilegedProcess (#77847)

* Use Environment.IsPrivilegedProcess

* Remove using System

Use ASCII strings in source files (#78265)

Tar: Extra tests to confirm extra long paths are not treated as duplicate entries when the full path is in the extended attributes. (#78744)

Co-authored-by: carlossanlop <carlossanlop@users.noreply.github.com>

[wasm] More jiterpreter cleanup (#78519)

    Move more jiterpreter configuration and constants into options
    Fix should_generate_trace_here not scanning across multiple basic blocks
    Disable specialized JIT call in threaded wasm mode (though I think it might work, it's better to turn it off to be sure for now)
    Introduces genmintops.py, a script that automatically generates mintops.ts from mintops.def
    Adjust typescript config to make it able to find the generated mintops.ts (and fix ESLint on Linux)
    Unroll memsets below a certain size into raw wasm opcodes, because v8 generates expensive function calls for memset and memcpy. Unrolling memcpy is a TODO for later
    Rename "always generate" to "disable heuristic" to more accurately describe what it does
    Fix jiterpreter_dump_stats hiding errors if startup failed before cwraps were ready
    Misc. code cleanup

fix DualMode ReceiveFrom on macOS (#78261)

* fix DualMode ReceiveFrom on macOS

* style

* feedback from review

* rollback

* Update src/libraries/Common/src/System/Net/SocketAddress.cs

Co-authored-by: Ahmet Ibrahim AKSOY <aaksoy@microsoft.com>
Co-authored-by: Ahmet Ibrahim AKSOY <aaksoy@microsoft.com>

Reenable a test after 78358 is fixed. (#78697)

JIT: Ignore source indir when checking interference for block store source address (#78763)

For block stores we can contain both the source and destination address.
Since the source is a value we will have an indirection on top of the
address, such as

```
N015 (  3, 12) [000014] I---------- t14 =    CNS_INT(h) long   0xd1ffab1e static box ptr REG x1 $200
                                          ┌──▌  t14    long
N017 (  6, 14) [000001] #---G------  t1 = ▌  IND       ref    REG x1 $240
                                          ┌──▌  t1     ref
N019 (  8, 17) [000003] -c--G------  t3 = ▌  LEA(b+8)  byref  REG NA
                                          ┌──▌  t3     byref
N021 ( 32, 39) [000004] nc-XG--N---  t4 = ▌  IND       struct REG NA
N023 (???,???) [000025] Dc--------- t25 =    LCL_FLD_ADDR byref  V03 tmp1         [+0] NA REG NA
                                          ┌──▌  t25    byref
                                          ├──▌  t4     struct
N025 ( 42, 46) [000017] sA---------       ▌  STORE_BLK struct<Xunit.StackFrameInfo, 16> (copy) (Unroll) REG NA
```

where [000004] is the source indirection and [000003] is the source
address. The existing containment check was checking interference of
[000003] with [000004], which is conservative given that the indirection
itself is always contained.

[wasm] Use "node:crypto" to polyfill getRandomValues on older node (#78696)

JIT: Keep FieldSeq in AssertionDesc (#78616)

Co-authored-by: Jakob Botsch Nielsen <Jakob.botsch.nielsen@gmail.com>

Update NugetPackagingVersion to 6.2.2 (#78720)

Anonymous pipe resource leak when DisposeLocalCopyOfClientHandle is not called (#78562)

Fix the tiering delay to account for changing IL/native code versions during the delay (#78668)

- Added a check to see if the currently active native code version has a code entry point

Fixes https://github.com/dotnet/runtime/issues/77973

Use IndexOfAnyValues in Xml (#78664)

* Use IndexOfAnyValues in Xml

* Avoid checking whitespace char twice

* More spans

Improve IndexOfAnyAsciiSearcher ARM throughput (#78739)

* Improve IndexOfAnyAsciiSearcher ARM throughput

Also solves an edge-case bug for byte overloads on ARM64 where we'd get false positives (negatives for Except) when haystack values were exactly 128 above a value in the needle

* Remove type name asserts

Extend preinitialization interpreter to support calling `string::Length` (#78680)

* Support `callvirt` to a non-virtual method
* Support accessing string's fields