sharjeelyunus/github-issues-dataset huggingface dataset:
Repository: TypeScript
Issue: Assertion type function not working as expected with everything but ES3 since >=4.9.4
Labels: Bug,Help Wanted

# Bug Report


### 🔎 Search Terms

Assert, Assert Function, Assert Class Constructor

### 🕗 Version & Regression Information

`>=4.9.4`

~- This is a crash~
- This changed between versions 4.8.4 and >=4.9.4
- This is the behavior in every version I tried, and I reviewed the FAQ for entries about _________
- I was unable to test this on prior versions because it works as expected

### ⏯ Playground Link

https://www.typescriptlang.org/play?target=0&ts=5.0.0-dev.20230126#code/KYDwDg9gTgLgBDAnmYcCCAjAzjKBDAYxgBVlgAeYuAXjjwDtEA+GuACj210PnuAHd2AOhF4oAcywAuOowDaAXQCUNFsRUAyOADEArvSIBLCPQDcAKFCRYCMnADCJglGAxgpFJVYNmrNn0E2ESExSRkfRRVqNU0dfSMTCytoeCQUOA8KKlofFlpMHHwiTMoWAB8HJxc3EuImC0twFLhDejcoADNCVALuIjQsLGBYY3osOABvczgWsZgGAgoAUXBgInHQN3oAE3GS-QBregh+eiYmNmmZuiJdPAAbGUPj04AaK5mrNZhpOBWUdbvGZKcKDYY-G4wO73FrjACScwW7jI5H+3yw9XMAF9zI1rPACCYcHQwbAZL0ijABkMRkTWFMZq0cEiOLcHq84F91ioGddqrooPRIdDZsyDMAIB1Oat1hYZlj3liGvdXHAQKwAIwk2SIcx4UkwIRM+bitggDlLKBQaBKPUGo2I03muAAETwbiUQA

### 💻 Code

```ts
export type AbstractType<T = any> = (abstract new (...args: any[]) => T) & Function;
export type ConcreteType<T = any> = (new (...args: any[]) => T) & Function;
export type Type<T = any> = AbstractType<T> | ConcreteType<T>;

export interface AbstractAssertions {
  instance<Expects extends Type<unknown>>(
    actual: unknown,
    expects: Expects,
  ): asserts actual is InstanceType<Expects>;
}

export const assert: AbstractAssertions = {
  instance(actual, expects) {
    return actual instanceof expects;
  },
};

let x = 1 as any
assert.instance(x, Error) // Error here
assert.instance(x, Date) // Error here
```

### 🙁 Actual behavior

Show Type Error when not supposed to

### 🙂 Expected behavior

Assert type as expected
Repository: PowerToys
Issue: Feature request. Move newly created windows to their last known zone by IfWinActive
Labels: Needs-Triage

### Description of the new feature / enhancement

I'd like to suggest more customization to move newly created windows to their last known zone by differentiating between a partial or full windows name. 

For instance, the situation now is that when I'm browsing on Chrome, and open my bookmark, Google Calendar, in a new window it automatically moves on top of my previous window. That disturbs my work flow. Instead, I'd like FancyZones to allow users a bit more customization by differentiating between different window titles/tabs in Chrome (or any other specific window title for that matter). 

I already have this in AutoHotKey:

```
#IfWinActive, Gmail - Google Chrome ahk_exe chrome.exe ; note to self: partial txt window active, full window ID not necessary
F4::SendInput ^{b} 
#IfWinActive
```
In the above example, F4 inputs bold text, but only when the Gmail tab is open. 


### Scenario when this would be used?

Better work flow by not stacking windows of the same exe on top of each other. 

### Supporting information

_No response_
Repository: go
Issue: proposal: x/sys/cpu: expose runtime AMD64 microarchitecture level
Labels: Proposal

In package [`golang.org/x/sys/cpu`](https://pkg.go.dev/golang.org/x/sys/cpu) add an `int` symbol [0-4] (0 if not AMD64) that exposes the AMD64 microarchitecture level of the machine running the program.

References:
* https://en.wikipedia.org/wiki/X86-64#Microarchitecture_levels
* https://go.dev/doc/go1.18#amd64
* [`github.com/klauspost/cpuid/v2 CPUInfo.X64Level`](https://pkg.go.dev/github.com/klauspost/cpuid/v2#CPUInfo.X64Level)
Repository: PowerToys
Issue: "Datei-Explorer-Add-Ons" is only shown as "Datei-Explorer" at the top of the utility
Labels: Issue-Bug,Area-Localization,Needs-Triage,Needs-Team-Response,Loc-Sent To Team,Issue-Translation

### Microsoft PowerToys version

0.66.0

### Utility with translation issue

File Explorer: Preview Pane

### 🌐 Language affected

German

### ❌ Actual phrase(s)

Datei-Explorer

### ✔️ Expected phrase(s)

Datei-Explorer-Add-Ons

![image](https://user-images.githubusercontent.com/81419612/214829452-f8ce4460-0461-4bda-9e4e-d5eb8cdb40a7.png)


### ℹ Why is the current translation wrong

It should be consistent and the one with add-ons is definitely more accurate
Repository: godot
Issue: Images of Tilemap Pattern do not match sometimes to their corresponding Pattern
Labels: bug,topic:editor,topic:2d

### Godot version

4.0-beta15

### System information

Windows 10, Vulkan (Mobile Mode), RTX 3090, 528.02, Ryzen 9 5900X

### Issue description

I could not find any related issue so I opened an issue:

Images of tileset pattern do not always match to the corresponding tileset pattern in the bottom menu bars: "Tileset" and "Tilemap"

here you can see the bug in action:
https://user-images.githubusercontent.com/86411785/214831628-4d4be827-cb59-4d48-a44b-a9d0e2e9411b.mp4



### Steps to reproduce

1. Create Tilemap and Tileset
2. Create some different Pattern
3. Toggle "Tilemap" or "Tileset" in the bottom menu bar

### Minimal reproduction project

[Godot4_Beta15_Bug_TilemapPattern_NotCorrectImageOrder.zip](https://github.com/godotengine/godot/files/10509056/Godot4_Beta15_Bug_TilemapPattern_NotCorrectImageOrder.zip)
Repository: terminal
Issue: Copy pasting from WSLg stopped working lately
Labels: Needs-Repro,Issue-Bug,Area-TerminalControl,Product-Terminal,Priority-2

### Windows Terminal version

1.15.3466.0

### Windows build number

10.0.22000.1455

### Other Software

Microsoft store WSL + WSLg:
C:\Users\ophers>wsl --version
WSL version: 1.0.3.0
Kernel version: 5.15.79.1
WSLg version: 1.0.47
MSRDC version: 1.2.3575
Direct3D version: 1.606.4
DXCore version: 10.0.25131.1002-220531-1700.rs-onecore-base2-hyp
Windows version: 10.0.22000.1455

Clink: v1.4.13.0066c6

### Steps to reproduce

1. I open Eclipse CDT (latest) from within a WSL terminal window (running CentOS 7).
2. I copy text from Eclipse.
3. Trying to paste to the WSL terminal window fails - nothing pasted.
4. Also nothing pasted to ANY Windows Terminal tab I open (CMD, Powershell, etc.),
neither to a new Terminal window I open.


### Expected Behavior

Text is pasted to the terminal window.

### Actual Behavior

Nothing pasted.
#### But, it will paste to:
1. The find box of Windows Terminal
![image](https://user-images.githubusercontent.com/11839190/214826717-c09756f2-cae9-48b3-a162-79e42a2bba99.png)
2. To a `conhost.exe` windows started from windows "Run" bar.
![image](https://user-images.githubusercontent.com/11839190/214826991-5dcd9819-df97-45c5-aba6-861e99a03c31.png)
3. To `Notepad`
Repository: rust
Issue: Miscompilation with pointer address rountrip through address 0
Labels: A-LLVM,T-compiler,A-docs,C-bug,A-strict-provenance

[playground](https://play.rust-lang.org/?version=stable&mode=release&edition=2021&gist=ff8b0a35cfd4d40cf1695e6db5980533)
```rust
// SAFETY: The pointer must be null.
pub unsafe fn assert_null(ptr: *mut u8) -> *mut u8 {
    if !ptr.is_null() {
        // SAFETY: The caller guarantees that the pointer is null.
        unsafe { core::hint::unreachable_unchecked() }
    }
    ptr
}

pub fn bad(r: &mut u8) -> u8 {
    let ptr: *mut u8 = r;
    let addr = ptr as usize;
    let null = ptr.wrapping_sub(addr);
    
    // SAFETY: `ptr - ptr == null`
    let definitely_null = unsafe { assert_null(null) };
    let ptr2 = definitely_null.wrapping_add(addr);

    // SAFETY: `ptr2` has the same address and provenance as `ptr`
    // and `ptr` was derived from a safe reference
    unsafe { *ptr2 }
}

fn main() {
    println!("{}", bad(&mut 42));
}
```

The program gets optimized into `ud2`.

## original example:

I tried [this code](https://play.rust-lang.org/?version=nightly&mode=release&edition=2021&gist=3a070749caf32fd2ca3f372db999706c):

```rust
#![feature(strict_provenance)]

pub fn bad(r: &mut u8) -> bool {
    let ptr: *mut u8 = r;

    let addr = ptr.expose_addr();
    let null_with_provenance = core::ptr::from_exposed_addr_mut::<u8>(0);
    let ptr2 = null_with_provenance.wrapping_add(addr);

    let val_before = unsafe { *ptr };
    unsafe { *ptr2 = 2; }
    let val_after = unsafe { *ptr };
    return val_before == val_after;
}

fn main() {
    println!("{}", bad(&mut 1));
}
```

I expected to see this happen: The program always prints `false`.

Instead, this happened: The program prints `true` if optimizations are enabled.

The [documentation of `from_exposed_addr_mut`](https://doc.rust-lang.org/nightly/core/ptr/fn.from_exposed_addr_mut.html) says that the function will "guess" the correct provenance if able, so I expected it to guess `ptr.with_addr(0)` here.

Miri does not detect undefined behavior in the program.

### Meta
<!--
If you're using the stable version of the compiler, you should also check if the
bug also exists in the beta or nightly versions.
-->

playground nightly (2023-01-25 c18a5e8a5b1afb0d7a58)
Repository: TypeScript
Issue: Type variable not inferred correctly unless unused declaration is provided
Labels: Bug,Help Wanted

# Bug Report

The described bug was noticed during debugging of the declarations provided with the Vue framework.

### 🔎 Search Terms

generic, inference, function, overload

### 🕗 Version & Regression Information

All 4.x versions available on the playground.

### ⏯ Playground Link

[Playground link with relevant code](https://www.typescriptlang.org/play?#code/JYOwLgpgTgZghgYwgAgLITACwPYBMDOyA3gLABQyyA2gNYQCeAXMvmFKAOYC6zAYgK4gEYYNhABucgF9y5UJFiIUABThQ4AWwA8qZBAAekEATQYcBAHzFylXHDBxmACizB8zVAEpkAXitwQekkKZA0zPHc0YJkyclwIBAAbNRQYQWFREGQ0kB09QwhjQnQsCN9iKQsnG2QABzVNZlV1bVQrADJkABVMNy76WogdC3JPZgA3bGBcYPIAejnkAFUhbA0w8E5kLBR4pIaRMWQAIwhE7AB3ZCgIfH5EsEJQOqhsQahtgZRQGGhCpGQ2BgaFkZAWyD2yRu2XShyyOTyBiMJhK5kIPgqVXmi0o9RazCIyEE-HwEFwyle7zATG2UH4KCkyE6zU0wyZ3V6+H6g2G2OQY2Qk2mszIOScpBCdgcTm8EsolFc+AAdBp6Ki8DLxMhwQBRcaFZBwGAKImrdaFEQgDjbTAobD6qDnODxXCC6D4TIAGmQCDEkEMyDcyBA2DALze0ES9EDIF+UBurttNxqUk9NTCpQIBJqlFV6twMoqaZCufoAGUEmJcPnC3L5QrOSq1eEC54tbr49gPhdgKV+GH0msNpbrTsIQkofZMjnkDFKKnpG3yEA)

### 💻 Code

```ts
interface Methods {
  [key: string]: Function;
}

interface Param<M extends Methods> {
  data: (this: M) => any;
  methods: M;
}

declare function fun<M extends Methods = {}>(
  param: Param<M> & ThisType<M>
): void;

// Uncommenting the declaration below results in proper type inference of M

// declare function fun<M extends Methods = {}>(
//   param: { unusedProperty: true } & Param<M> & ThisType<M>
// ): void;

fun({
  data() {
    this.myMethod(); // Even after uncommenting the overloaded version, context is not properly inferred here
  },
  methods: {
    myMethod() {},
    mySecondMethod() {
      this.myMethod(); // Error without uncommenting the declaration
    }
  },
});
```

### 🙁 Actual behavior

1. Proper inference of the `M` type variable and `this` context in the `methods` section depends on having an unused overloaded version of a function.
2. Even though `M` is properly inferred for `fun` (visible after hovering over the function) and `this` context in `methods` after uncommenting the unused declaration, `this` context in `data` is still not properly inferred (when hovering over `this`, it looks as it is inferred to the default `{}`).

### 🙂 Expected behavior

`M` type variable is properly inferred in both `data` function and `methods` section without redundant declarations.
Repository: stable-diffusion-webui
Issue: [Feature Request]: Create/Edit PNG Info
Labels: enhancement

### Is there an existing issue for this?

- [X] I have searched the existing issues and checked the recent builds/commits

### What would your feature do ?

When loading a image into PNG Info, having the possibility on this page to edit the fileds that normaly would be populated by a generating process.
I think this feature would be useful in view of the fact that there are more and more external editors that do not (or cannot) write this metadata into the PNG, such as the promising new plugin stable art for Photoshop (https://github.com/isekaidev/stable.art), which will certainly find great acceptance. Even if you edit the PNGs in Photoshop itself and then resave them, this original information is usually lost.
Therefore, a subsequent editing would certainly be a great help.

### Proposed workflow

1. Insert/load an image into PNG Info
2. Readout of the parameters like it is currently 
3. Underneath there should be the appropiate fields matching the parameters above as input/text fields where we can enter/edit missing or existing parameters. With a save button, this info is then saved into the PNG


### Additional information

_No response_
Repository: PowerToys
Issue: FZ: Rotate current layout when switching orientations.
Labels: FancyZones-Layouts

### Description of the new feature / enhancement

With 3 Column window layout activated. Switching display orientation from landscape to portrait results to 3 very tall windows.

![image](https://user-images.githubusercontent.com/28706158/214850331-f4d3aeca-58da-4956-b157-5f935f683c76.png)
![image](https://user-images.githubusercontent.com/28706158/214850708-908b75c3-f4fb-4712-926f-ade1a84280f7.png)

This should be the desired outcome.
![image](https://user-images.githubusercontent.com/28706158/214850806-56d1962e-7b24-4da4-b7dd-a43c5d321565.png)

Sorry for the very tall screenshot.

### Scenario when this would be used?

I only have single monitor setup, and have to test full screen programs at portrait orientation. Switching orientation with FZ is cumbersome.

### Supporting information

_No response_
Repository: TypeScript
Issue: Allow a union of libraries, for code that runs in multiple environments
Labels: Suggestion,Awaiting More Feedback

# Suggestion

<!--
  Please fill in each section completely. Thank you!
-->

## 🔍 Search Terms

<!--
  💡 Did you know? TypeScript has over 2,000 open suggestions!
  🔎 Please search thoroughly before logging new feature requests as most common ideas already have a proposal in progress.
  The "Common Feature Requests" section of the FAQ lists many popular requests: https://github.com/Microsoft/TypeScript/wiki/FAQ#common-feature-requests

  Replace the text below:
-->

webworker, dom, node, isomorphic

## ✅ Viability Checklist

<!--
   Suggestions that don't meet all these criteria are very, very unlikely to be accepted.
   We always recommend reviewing the TypeScript design goals before investing time writing
   a proposal for ideas outside the scope of the project.
-->
My suggestion meets these guidelines:

* [x] This wouldn't be a breaking change in existing TypeScript/JavaScript code
* [x] This wouldn't change the runtime behavior of existing JavaScript code
* [x] This could be implemented without emitting different JS based on the types of the expressions
* [x] This isn't a runtime feature (e.g. library functionality, non-ECMAScript syntax with JavaScript output, new syntax sugar for JS, etc.)
* [x] This feature would agree with the rest of [TypeScript's Design Goals](https://github.com/Microsoft/TypeScript/wiki/TypeScript-Design-Goals).


## ⭐ Suggestion

Sometimes code is designed to run in multiple environments. For example, code may run in both nodejs and the browser, or a web page and a web worker.

Currently, you can use tsconfig to say your environment is _both_ a 'DOM' _and_ 'webworker', but that's never true in the wild. It's 'DOM' _or_ 'webworker'.

Take this example ([playground link](https://www.typescriptlang.org/play?#code/PQgEB4CcFMDNpgOwMbVAGwJYCMC8AiAEwHsBbfUYAPgCgRgIZ4lUMcCB3abD4yAawQVqNGumLIAhugDKAFz6SA5tAB0AZ2hyAFAHJYxYroA0oXdkmRdASgDcNTKQAOfOTOSRMTuer0ALaHRxVQArdRt7IA)):

```ts
localStorage.set('foo', 'bar');
importScripts('hello.js');
```

TypeScript is fine with this if you include both 'DOM' and 'webworker' libs, but this code will fail in a webworker, because `localStorage` doesn't exist, and it will fail in a page, because `importScripts` doesn't exist.

This would be solved by a feature that allows developers to specify the environment as A _or_ B. The code above would show errors, because `localStoage` and `importScripts` may not exist.

## 📃 Motivating Example

<!--
  If you were announcing this feature in a blog post, what's a short explanation that shows
  a developer why this feature improves the language?
-->

Hopefully the above description provides this.

## 💻 Use Cases

<!--
  What do you want to use this for?
  What shortcomings exist with current approaches?
  What workarounds are you using in the meantime?
-->

Hopefully the above description provides this.
Repository: flutter
Issue: [go_router] Go Router debugLogDiagnostics its loggin wrong when popping a dialog
Labels: package,has reproducible steps,P2,p: go_router,found in release: 3.7,team-go_router,triaged-go_router

It's a simple case but can drive you to the wrong answer to your problem, like happened with me.

**Steps to reproduce:**
First you will need enable the log adding ` debugLogDiagnostics: true` to your GoRouter.
After you need to just open a dialog and close programmatically with pop. The logger will log the name of the route instead knowing that you popping a dialog/modal. 

Or am I wrong and this is the behavior expected?
Repository: flutter
Issue: Flutter 3.7.0: iOS runtime error when using Image
Labels: c: regression,platform-ios,engine,dependency: skia,a: images,has reproducible steps,P2,c: fatal crash,found in release: 3.7,found in release: 3.8,team-ios,triaged-ios

## Steps to Reproduce

Upgrade to Flutter `3.7.0` (previously working fine on `3.3.10`).

Run the app on iOS (e.g. iPhone simulator 14 or SE 3rd gen). App with CustomScrollView and Slivers that can scroll vertically and horizontally with progress for loading items.
```
ProcessException: Process exited abnormally:
An error was encountered processing the command (domain=NSPOSIXErrorDomain, code=3)
```

and when run from Xcode:
![image](https://user-images.githubusercontent.com/1949928/214860972-a9255fe2-49cb-4224-a162-26affc77bc78.png)
```
MTLDebugValidateMTLPixelFormat, line 1469: error `pixelFormat (40) is not a valid MTLPixelFormat.`
```

I'd like to note that on `3.3.10` everything is fine and also on Android & desktop macOS it works with `3.7.0`. My blind quess would be `Impeller` used instead of Skia for iOS.

**Expected results:** 
Working screen

**Actual results:** 
App crashed

Code on which it crashes:

```
SingleChildScrollView(
                    scrollDirection: Axis.horizontal,
                    child: Padding(
                      padding: const EdgeInsets.symmetric(horizontal: 10.0),
                      child: Row(children: 
list.map((e) => SizedBox(height: 100, width: 100, child: _circleAvatar(e.url))

  Widget _circleAvatar(String imageUrl) {
    return CircleAvatar(
      radius: diameter / 2,
      backgroundColor: Colors.transparent,
      backgroundImage: CachedNetworkImageProvider(
        imageUrl,
      ),
    );
  }
```




**flutter doctor**
Doctor summary (to see all details, run flutter doctor -v):
[✓] Flutter (Channel stable, 3.7.0, on macOS 12.5 21G72 darwin-arm64, locale en-PL)
[✓] Android toolchain - develop for Android devices (Android SDK version 33.0.0)
[✓] Xcode - develop for iOS and macOS (Xcode 14.2)
[✓] Chrome - develop for the web
[✓] Android Studio (version 2021.3)
[✓] VS Code (version 1.74.3)
[✓] Connected device (4 available)
[✓] HTTP Host Availability
Repository: node
Issue: AsyncResource constructor arguments
Labels: async_hooks

Currently, the `AsyncResource` constructor *requires* a `type` argument, e.g. `new AsyncResource('foo')`. It will throw if this is not provided. This information, however, is only used for async_hooks integration and is not necessary for async context propagation. I'd like to propose that we make the argument optional, defaulting its value to `this.constructor?.name || 'AsyncResource'` when it is not provided. 

/cc @qard @legendecas @nodejs/async_hooks
Repository: vscode
Issue: [mac] Cannot type special characters in terminal
Labels: bug,help wanted,upstream,macos,upstream-issue-linked,terminal-input

re https://github.com/microsoft/vscode/issues/168804


* mac
* open text editor
* press and hold `e`
* and `e` is inserted and get a picker for its variants like è, é, etc
* open a terminal
* press and hold `e`
* 😕 many `e` are inserted
* 😕 the variant picker shows but at a "random" location
* 😕 the variant picker doesn't work, e.g pressing 2 doesn't replace the typed character with that variant


https://user-images.githubusercontent.com/1794099/214871921-a8b6e351-9c33-46e5-8753-8b98a3a1d7d4.mov
Repository: stable-diffusion-webui
Issue: (AMD) GPU not being utilized 
Labels: bug-report

### Is there an existing issue for this?

- [X] I have searched the existing issues and checked the recent builds/commits

### What happened?

Stable diffusion is not utilizing GPU upon generating an image

### Steps to reproduce the problem

1. Go to .... 
2. Press ....
3. ...


### What should have happened?

it should be using GPU when I generate an image

### Commit where the problem happens

it happens while generating the image

### What platforms do you use to access UI ?

Windows

### What browsers do you use to access the UI ?

Google Chrome

### Command Line Arguments

_No response_

### Additional information, context and logs

to launch the stable diffusion I have to edit webui-user.bat to [ set COMMANDLINE_ARGS=--skip-torch-cuda-test ] but it wont utilize GPU generate an image
to generate an image I have add [ --precision full --no-half --skip-torch-cuda-test ] to COMMANDLINE_ARGS 
but it'll be utilizing CPU only

GPU: amd radeon R9 370
Repository: deno
Issue: npm package specified in an import map should be downloaded eagerly on startup
Labels: node compat
Repository: storybook
Issue: [Feature Request]: `sb init --parser` option is no longer working?
Labels: feature request,needs triage

### Is your feature request related to a problem? Please describe

I was reading the source code of the `init` command and could not find any use of the `--parser` option.
Did I read it wrong? 🤔 
If it is not functioning as an option, I thought it would be appropriate to remove it to avoid unnecessary confusion.

### Describe the solution you'd like

Remove `--parser` option.

### Describe alternatives you've considered

_No response_

### Are you able to assist to bring the feature to reality?

yes, I can

### Additional context

_No response_
Repository: go
Issue: x/tools/go/analysis/passes/shift: allow full-width integer shifts
Labels: NeedsInvestigation,Tools,Analysis

The shift pass rejects a uint64 shifted by a constant 64, and on 32 bit platforms a uint shifted by 32, both of which come up in correct code. Here are two examples:

From a recent x/sys/unix CL:

	func offs2lohi(offs int64) (lo, hi uintptr) {
		const longBits = SizeofLong * 8
		return uintptr(offs), uintptr(uint64(offs) >> longBits)
	}

On a 64-bit system, the goal is to return offs, 0, and that expression does that, using a uint64 >> 64 in the second expression. I am going to send a CL out replacing >> longBits with >> (longBits - 1) >> 1, to make older vets happy with this code.

From a recent math/big CL:

	// bits.Len uses a lookup table for the low-order bits on some
	// architectures. Neutralize any input-dependent behavior by setting all
	// bits after the first one bit.
	top := uint(x[i])
	top |= top >> 1
	top |= top >> 2
	top |= top >> 4
	top |= top >> 8
	top |= top >> 16
	top |= top >> 16 >> 16 // ">> 32" doesn't compile on 32-bit architectures
	return i*_W + bits.Len(top)

Note the comment says "doesn't compile" but really the problem is that it doesn't vet.

Vet should not be redefining what is permitted in the language for valid code. Because these programs are valid, we should loosen the check in passes/shift/shift.go to be amt > maxSize, not amt >= maxSize.