facebook / facebook/pyrefly

Tensor shape website example doesn't work

Open
#4,153 2 comments 1 reaction 1 assignee Claimed by @stroxler View on GitHub
documentation stale
Dominant language
Rust
Stars
7k
Forks
516
PR merge metrics
No merged PRs in 30d

Description

### Describe the Bug

https://github.com/facebook/pyrefly/blob/2a06f86722a9d88fb47dd0e07fc28cfd09691486/website/sandbox-examples/tensor-shapes-overview/torch.pyi#L10-L17

gives "Shape parameter `Shape` must be a `TypeVar` or `SymVar`, got `TypeVarTuple`" at line 13.

https://github.com/facebook/pyrefly/blob/2a06f86722a9d88fb47dd0e07fc28cfd09691486/website/sandbox-examples/tensor-shapes-overview/sandbox.py#L11-L16

gives "assert_type(Tensor[*tuple[Unknown, ...]], Tensor[Unknown, Unknown]) failed" at line 15.

These codes are linked from [document](https://pyrefly.org/en/docs/tensor-shapes/).

### Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKADgTwE4zFNA6AFwHsBbKJEdAgCyIDsBaANxgzgnoAIBeTgHRABmPAEYATAL50A2qwxE2AXSkBXOhBIoFBGABMGuiFgDGBCCx6cA5BADmdBTCtSHBBlgCOKo3oYBrGDQGAENjY3g4SysAd2CMOmc6EAAaEDhgul0AIyIADzx0CjB5Ek4AfTKwFQIVLArODS0MAk4M12CzejgpKWLSTgI0FAg6WwbNbVa4OFYCMsGUGB71CeaBhWNqXpL1jE3xppaAFRg6OAVlgGJOE7OFAaH4TmM4jDQB6hgjTjhqYMWpg8ASg4sESDAdGwpLlLMQ9tQ8BgMro6AAKQTJTgAFgAlFJgtNZvNHqjcpjbucMNIMdjFHi6FdOABlP6LBhaXAkBQoagQYycKp0UwcOicaIQGicJhxCDBQz8rIdfaGEjdTLYVq6XRlLKyuDSABUACEldRMQARRSkxA3U6Uw0mgibC2KTG6gk2ikKaSWnGcBgAPltdypxtNLsQUk40c4WBq8U4MIA1Jx3Wrlu9eHLtWnUXDNojkWixJiAKyYgAcOMx+YRSMyaKr9IJM2axMWqLQ5Lt3pLnHLnArdMZR3rcC0MwGSOMfkiKrtItjMAUulYI1sUlKvFrhYb6LL9JILV4JEIY4nMFRAAZMSJm4S2wtL0fuyHpAPBMOGd-rgBRABK-4APL-jaca1KKT6cH8kTRPIow-KyMD+gwnDoFgODvC8TqfJEEoAIRSKuYCpvIAQyEaLrWsG9qUZwvr+kGXpUuamJGookaijG4EJjCnDXMx0h0ZaDSRK4NHeqxnDsVIKRpEhZQwLkOhnCKcAFGgEBFDsCzrgckwAIJ0Ggyy-P8ehlK8wRoDaRkmUkqQ7ugWmIOAOlDHpjSGcZmJECwGBQEQcqYkyMBQGAyx9KUZmLIpykLl0+lrDFFlWfZUjGFALacKuTB8jAnExjlGoVCMEoVKiMzhTWjw2nABAYJiIyrrkNojMenBXn6gacAAcvQBWcHgw3LAAAil2ppZVSHcAILLmQI9KZdlgkGvNiwcVGMYpTaNQoLA0jtZiw14MoXHRp43hYHAZS2Eiug2jkRBQFt0a6E+tnGa9xUkRUtgQhKMAkBV31FVVYDJKDMbNUpbV0AQUPRgAPj8UD5YjnAo3tB3tZjqP5XjzF42j9WHfDih4-1dAwMdw1nUVRUo8xGMoyTBBkwQrrfd1TE9hgNond9xHlGUJAdCQKhQBV4Oenzvk0KwsshjzEn80NI3nT9IvZtLYUQ5wRAK2rRMozgQUtCj7Uq6F4UCxrRXCxUcAqFkuvVQbRtK5SeNmx0eNW4xzJ63beBCyVouS27+uG58xt8z7gV+5b8PW8H6uh5rjvzBgKh6OYUfy7HXv3KbicWw0KeBzbYAh2Hv1lPd2plJVeuF4rApl-7lc9dXteZ+HbAuwXHtFx35tdwQqe2+ndcixgEtS834Nt2rvvlwHPdp4L-f19TthR1PNczzvIswB4w8x+3Jtj0nFeT1XW-DdG1wfQ09iONIflyBAq70zGWdQDmEvVuI8r7x1LuPZO99N7T23g7cOtggEt3dpfOOIYE6QLvofPuRVRpfwCkFXQs9rpIWQUfZimIDQ7SwYHZiOCYx4P8onIhJ8SHmTIcXRqiFzK7RUPtGAHNaanRVnQ4+uD8HMNnnlGA0QOGq0odQjevMQz0OjIw1gkiT7SNkTLeR3DFi8P4YI9OdJaF81UVrHAHQVJyIoT8AgcQ5gqjhh1G8nBTjamcXfSwDA7xmJUWI-+GoGoZHHEQGYti5Y5Q0FeFxmIVQiBcSI8xgS3oajUHALwMAYAAC9Ly6LsV4pRqsLHC0ybnXJ+S06FI0C4ywJ1kkBLgQwiRhDZ5mFgJEkMlCsAoDgEk-xlILHqIIXKdp0AqnTzsb0-pAw+E43hkI0xPVRHNLUa0sZJ9Fjz2qJM8hUSDQqlmcU1Z9sWlMLaVs1gEsdBdMpPEjQszsYCKOiYxpQzUlawIHchQ7yFClI1MYegZhbAqCICoOAZDsGfOFquBxmwoUP1gWctJJFMoDURTAo+aytYqkxUGdqAKSLsDyWQh5JA6m8AaYHQlMKNSAxIPim+BAiXrDZkytm0g7IcTpSRYgZLip5XCJ9TM6d4mvzsvU4a0Lt5EQ1PWFEqIqEQDyXEnKErjJSrwPEmAQrBqSqpdKwZ-zj7CwVUqklg1XnvVqpwA1YrBX5RFVqv5att7CzyfISFyrVV33Fba+1J0dV6udYavArq+7CwGt6y1aqbUGLtZqsNwanWJtFdSlZKT3UaiBigQYFqVVWsWeqgNSaHW5VTYGo1mamka2FlUKAUBUTfVjXMoxryTqugFNAKW0ooC5xtGvf1Caq3asdcKtNWqpARtNTmtAl46Bqopd45NJaR1lqDeO-VG7q3KI+dmkioJRiXhbQ45og7O7Ju+h4i948r2a3qjAFAt6-b3odhq9Nw1Ib9xDZO+9M6D2cE9eEsoaMAiohGCgaonDh3bs-WOitE7R0AbrRqaNoGIDgcg9BvR8a4NapTUhnd4bjVutQyRBVdAMNYboFBlluGP0Ea3aG9OKGM5muRNRy82H6OFMY6uxD+Gw1sblSRXNgwuMQdozhvjpb4OEaE6x0jkaNQNqlmBk9mseMwe7Y2sofaB3MtgyxzdgmTMaxE+qEiYsCALyk3RnTqDOGWeFl8M4KhGVnxUB0EUdUGqUKINs5EszmIuflWFFQ9mZN8zC8SuwXIf5Rd4zF5Ts6+UZGoEl5zqXAPnDALZ4IuQsu4dqTQmt+7yOtCyJC7TqtYs-A8M0YroWcuVaUigZrKXysmsA4FWwnXlatfY4CrKmgBv3M4CQEYL6OqbrFq1ZlLqhuiZ+B58bChyWUodQEJ9XinpQEsAAMWCFAGY9XwQZHW1wop8MmM7ZQHtogz0jsnbO8tqzk3CtXc2yu7b2SHulf2y907MBzsjG+9E5duNV33ce893gx2Qf1fqroCHN3Ztfs4LDwHT2DsI9e6D97wtpQYDR6V6Hf3ds4-h5wRHb3utkeG4ejAth5tk6h7dmH-24d49pwT+r2E8x81mZy5iFMsbzIEXYztP2KddSJxqeqoQ-BC5DCLiApMxd42edIaXdNZec86sjrJlT2dbYzXunrlWMkm9JbVmpHPoGW8ZytthHZ7dROoTrjtdN6shLOBednsS-WQ8SWV53KmSJWIIDYj33T7GOLKOjywbiPFJ-J4b3x9W1C6kyGb378ueo6716dPuIAAC+qRQhmBYIdiZFB0iZByPkQo5egA

### (Only applicable for extension issues) IDE Information

_No response_

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.